diff options
Diffstat (limited to 'check_rebuild.sh')
| -rwxr-xr-x | check_rebuild.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/check_rebuild.sh b/check_rebuild.sh new file mode 100755 index 0000000..4d93f99 --- /dev/null +++ b/check_rebuild.sh @@ -0,0 +1,9 @@ +#!/bin/bash + +git pull 1>&1 | grep "Already up-to-date." + +if [[ ! $? -eq 0 ]]; then + cd menuApp + make -j 4 + cd .. +fi |