diff --git a/tools/auto-pull.sh b/tools/auto-pull.sh new file mode 100755 index 0000000..75effba --- /dev/null +++ b/tools/auto-pull.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +cd $(dirname $0)/../ +timeout 8 git pull +cd cmake-build-debug +make -j4