Remove use of --enable-cache in tools/push
This commit is contained in:
parent
a995090b9e
commit
97143abbde
1 changed files with 1 additions and 1 deletions
|
|
@ -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)
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue