1 files changed, 1 insertions, 1 deletions
diff --git a/tools/push b/tools/push
index 815c76cb..0333cf9c 100755
--- a/tools/push
+++ b/tools/push
@@ -2,7 +2,7 @@
 
 set -e
 
-ACPREP=./acprep --enable-cache --universal -j16 --warn opt
+ACPREP="./acprep --universal -j16 --warn opt"
 
 (cd plan/data; git push)
 (cd plan; git commit -a -m "Update TODO files" && git push)