# Does nothing, but triggers creation of buildenv.sh

# TODO: git submoduleupdate --init rocksdb
#       (and remove from Makefile)