diff --git a/README.md b/README.md index b931df8..ae45d31 100644 --- a/README.md +++ b/README.md @@ -143,7 +143,8 @@ infrastructure or key generation (which otherwise takes a few seconds). ### Building and naming the snapshot -Script `build.sh` runs `make` and copies the executables to `../bin/`. +Script `dev-utils/build.sh` runs `make` and copies the executables to `../bin/`. +This is useful when wanting to compile some snapshots to compare how different versions behave. ## Networking diff --git a/compiler/build.sh b/compiler/build.sh deleted file mode 100755 index 7cba932..0000000 --- a/compiler/build.sh +++ /dev/null @@ -1,7 +0,0 @@ -# Builds and copies the executables to ../bin/ -make -echo "" -dir="./../bin/$(git describe --long --dirty --always)" -mkdir -p $dir -cp ./../bin/* $dir 2>/dev/null -echo "Copied executables to $dir" \ No newline at end of file diff --git a/dev-utils/build-snapshot.sh b/dev-utils/build-snapshot.sh new file mode 100755 index 0000000..b86e0ce --- /dev/null +++ b/dev-utils/build-snapshot.sh @@ -0,0 +1,8 @@ +# Builds and copies the executables to bin/ +# This is useful when wanting to compile some snapshots to compare how different versions behave. +make +echo "" +dir="bin/$(git describe --long --dirty --always)" +mkdir -p $dir +cp bin/* $dir 2>/dev/null +echo "Copied executables to $dir"