diff --git a/src/queueWorker b/src/queueWorker index 0b3c7d0..667ee9e 100755 --- a/src/queueWorker +++ b/src/queueWorker @@ -28,6 +28,7 @@ $shellArgs = array_map(function($tag){ }, $tags); system("rm -rf out"); system("git reset --hard"); +system("git reset pull"); system("./make.sh " . implode(" ", $shellArgs)); chdir("out");