Update build.sh

Avoid recompiling build.run if it has been compiled already
2017-11-16 00:00:03 -03:00 · 2017-11-16 00:00:03 -03:00 · 92956c9815
parent 0f7382a2c2
commit 92956c9815
1 changed files with 5 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
@ -1,3 +1,7 @@
 #!/bin/bash
+if ! [[ -x ./build.run ]]; then
+   echo "[.. compiling building manager ..]"
+   g++ -std=c++11 -o build.run build.cxx -O1
+fi

-g++ -std=c++11 -o build.run build.cxx -O1 && ./build.run $@
+exec ./build.run $@