9424092a49011ac85e436d3f20cb1ab9818aedb0
[aquarium] / make-dev-dist.sh
1 #!/bin/sh
2
3 ./make-dist.sh -c dev.aquarium.properties -v -k -b fast -a aquarium-dist