diff options
| author | Mitya Selivanov <automainint@guattari.tech> | 2023-09-26 01:32:41 +0200 |
|---|---|---|
| committer | Mitya Selivanov <automainint@guattari.tech> | 2023-09-26 01:32:41 +0200 |
| commit | 3b72a03fe29db6037a23635639843f38450c16e5 (patch) | |
| tree | f4c7e3ee4d9e5a766350d7ffbd88985b3b6bbde2 /build_and_test.sh | |
| parent | baf492d2a83533114275b1f8f3576c94bb3e5bc0 (diff) | |
| download | saw-3b72a03fe29db6037a23635639843f38450c16e5.zip | |
Build: Faster recompilation
Diffstat (limited to 'build_and_test.sh')
| -rw-r--r-- | build_and_test.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build_and_test.sh b/build_and_test.sh index 46f8661..0b40374 100644 --- a/build_and_test.sh +++ b/build_and_test.sh @@ -111,8 +111,18 @@ fi echo "" echo "Build saw" +if [ ! -f "build/saw_impl${OBJ_POSTFIX}" ] || \ + [ "source/saw/_impl.c" -nt "build/saw_impl${OBJ_POSTFIX}" ]; then + $COMPILE ${FLAGS} \ + ${FLAG_OBJ}"build/saw_impl${OBJ_POSTFIX}" \ + "source/saw/_impl.c" + if [ $? -ne 0 ]; then + exit 1 + fi +fi $COMPILE ${FLAGS} \ ${FLAG_EXE}"build/saw${EXE_POSTFIX}" \ + "build/saw_impl${OBJ_POSTFIX}" \ "source/saw/_exe.c" \ ${LINK_FLAGS} if [ $? -ne 0 ]; then |