Update erlehmann's redo scripts.

[plomrogue] / build / redo_scripts / redo

diff --git a/build/redo_scripts/redo b/build/redo_scripts/redo
index da3bf19e6b9d9f2edf91dd6b0ab7ad38f10f3640..871b39772392cd3ff396147880ed9e99b16d57dc 100755 (executable)
--- a/build/redo_scripts/redo
+++ b/build/redo_scripts/redo
@@ -35,6 +35,7 @@ Usage: redo [OPTIONS] [TARGETS...]
 
   -d, --debug          print dependency checks as they happen
   -h, --help           print usage instructions and exit
+  -s, --shuffle        randomize build order to find dependency bugs
   -x, --xtrace         print commands as they are executed (variables expanded)
 
 Report bugs to <nils+redo@dieweltistgarnichtso.net>.