rebuild_kerep

tasks/pre_build.sh

@@ -1,9 +1,13 @@
 #!/bin/bash
 
-cd kerep
-if [ ! -f "bin/kerep.a" ]; then
-    exec make "$KEREP_BUILD_TASK"
+if [ ! -f "kerep/bin/kerep.a" ]  || [ -f .rebuild_kerep ] 
+then
+    cd kerep
+    if ! make "$KEREP_BUILD_TASK"; then
+        exit 1
+    fi
+    cd ..
+    rm -rf .rebuild_kerep
 fi
-cp bin/kerep.a ../obj/
+cp kerep/bin/kerep.a obj/
 printf "${GREEN}copied ${CYAN}kerep.a\n"
-cd ..

tasks/rebuild_kerep.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+touch .rebuild_kerep
+printf "kerep.a will be rebuilt in the next build task"