diff options
Diffstat (limited to 'service/do.sh')
| -rw-r--r-- | service/do.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/service/do.sh b/service/do.sh index 9a4823d..168d495 100644 --- a/service/do.sh +++ b/service/do.sh @@ -54,14 +54,19 @@ elif [ "$1" == "cleansrc" ]; then elif [ "$1" == "test" ]; then SRCDIR="$PWD/src" DATADIR="$PWD/data" bash "tests/test.sh" ${@:2} elif [ "$1" == "make" ]; then + # build a normal version cd src - - make clean + if [ -e ".safebuild" ]; then + make clean + rm ".safebuild" + fi make elif [ "$1" == "make-safe" ]; then - cd "src" + # build a 'safe' version with flagstore patches + cd src make clean + touch ".safebuild" for f in $(ls | grep '\.[ch]$'); do cp "$f" "safe_$f" |