Update erlehmann's redo scripts.

diff --git a/build/redo_scripts/redo-ifchange b/build/redo_scripts/redo-ifchange
index bdec2d4dae215b11ab69c6d3451f0317762fed95..58402bd5c7a9f25d0cb8063d5e79f36aedb90b88 100755 (executable)
--- a/build/redo_scripts/redo-ifchange
+++ b/build/redo_scripts/redo-ifchange
@@ -70,6 +70,10 @@ _dependencies_ne_uptodate() {
 
 _target_uptodate() {
   target=$1
+  # If a target is a top-level target, it is not up to date.
+  if [ -z "$REDO_TARGET" ]; then
+    return 1
+  fi
   # If a target does not exist, it is not up to date.
   if [ ! -e "$target" ]; then
     _echo_debug_message "$target does not exist."