lib/scripts/patch-scripts.bash
changeset 4508 f102cb0140fe
parent 3052 b7922b9d7acd
child 6082 590f9e3bf4d8
--- a/lib/scripts/patch-scripts.bash	Fri Jan 02 11:59:06 1998 +0100
+++ b/lib/scripts/patch-scripts.bash	Fri Jan 02 13:24:53 1998 +0100
@@ -23,7 +23,7 @@
     echo "$DEFAULT"
     return
   else
-    echo "WARNING: $BASE not found!" >&2
+    echo "ERROR: $BASE not found!" >&2
     echo "$DEFAULT"
     return
   fi