diff options
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/build.sh b/build.sh deleted file mode 100755 index b2ddb0a..0000000 --- a/build.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash - -idate=$(date +"%s" -r .git/index) -odate=$(date +"%s" -r ./.updated) - -if (( $idate > $odate )); then - echo "Project updated, building all..." - make clean - make -j4 - touch ./.updated -else - echo "Up to date, building..." - make -j4 -fi |