flush-cache.sh: for speed, disable sqlite's synchronous mode.

This commit is contained in:
Avery Pennarun 2010-12-09 01:43:13 -08:00
commit b86a32d33d

View file

@ -2,7 +2,7 @@
#echo "Flushing redo cache..." >&2 #echo "Flushing redo cache..." >&2
( (
echo ".timeout 5000" echo ".timeout 5000"
echo "update Files set checked_runid=null;" echo "pragma synchronous = off;"
echo "update Files set changed_runid=changed_runid-1;" echo "update Files set checked_runid=null, " \
#echo "update Files set stamp='dirty' where id in (select distinct target from Deps);" " changed_runid=changed_runid-1;"
) | sqlite3 "$REDO_BASE/.redo/db.sqlite3" ) | sqlite3 "$REDO_BASE/.redo/db.sqlite3"