Server: Remove log_help(), this should be serverd by the client.

[plomrogue] / build / redo_scripts / redo

diff --git a/build/redo_scripts/redo b/build/redo_scripts/redo
index da3bf19e6b9d9f2edf91dd6b0ab7ad38f10f3640..f4844c1bd4b108c89428d03f3fa74b7248360feb 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>.
@@ -51,13 +52,8 @@ EOF
     if [ -z "$REDO_BASE" ]; then
       export REDO_BASE="$(pwd)"
       export REDO_DIR="$REDO_BASE/.redo"
-      mkdir -p $REDO_DIR
+      LANG=C mkdir -p $REDO_DIR
     fi
-    argument_abspath="$(readlink -f "$argument")"
-    (
-      echo '0' > "$REDO_DIR/$argument_abspath".ctime
-      echo '0' > "$REDO_DIR/$argument_abspath".md5sum
-    ) 2>/dev/null
     redo-ifchange "$argument"
     [ "$?" = 0 ] || exit 1
   fi