f6d11d5411
That way the user can modify an auto-generated 'compile' script, for example, and it'll stay modified. If they delete the file, we can then generate it for them again. Also, we have to warn whenever we're doing this, or people might think it's a bug.
9 lines
287 B
Bash
Executable file
9 lines
287 B
Bash
Executable file
#!/bin/sh
|
|
#echo "Flushing redo cache..." >&2
|
|
(
|
|
echo ".timeout 5000"
|
|
echo "pragma synchronous = off;"
|
|
echo "update Files set checked_runid=null, " \
|
|
" changed_runid=changed_runid-1, " \
|
|
" failed_runid=failed_runid-1;"
|
|
) | sqlite3 "$REDO_BASE/.redo/db.sqlite3"
|