diff options
| author | Andy <drumsetmonkey@gmail.com> | 2016-11-30 07:39:55 -0500 |
|---|---|---|
| committer | Andy <drumsetmonkey@gmail.com> | 2016-11-30 07:39:55 -0500 |
| commit | e06726a9e933ffa4195878fd784cecb1a66ca20a (patch) | |
| tree | 0e4720bf8f8e34724ef03c50c6f2e961b260b7d5 /build.sh | |
| parent | 1c5b4e5a0ad8b7a65fef3df48ed50f96a4b865c7 (diff) | |
| parent | ddac347ea12637bdc63a1b126a393d6e35313204 (diff) | |
Merge branch 'master' of https://github.com/tcsullivan/gamedev
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..b2ddb0a --- /dev/null +++ b/build.sh @@ -0,0 +1,14 @@ +#!/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 |