From 97143abbde261b2514da6411d30ccda2dbca9e48 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Wed, 23 Jun 2010 19:30:16 -0400 Subject: Remove use of --enable-cache in tools/push --- tools/push | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/push') 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) -- cgit v1.2.3