From ea33a19c447df8cc3748a8b6dc8e45121fdc3570 Mon Sep 17 00:00:00 2001 From: Louis Burda Date: Wed, 19 May 2021 20:49:04 +0200 Subject: fixed flagstore patch targets and added temp file for keeping track of safe builds without recompiling each run --- service/do.sh | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'service/do.sh') 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" -- cgit v1.2.3-71-gd317