tuned;
authorwenzelm
Wed, 15 Jun 2011 15:08:22 +0200
changeset 43395 85e468a8045a
parent 43394 47e60a27a496
child 43396 548a68eafaea
tuned;
src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Wed Jun 15 14:32:35 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Jun 15 15:08:22 2011 +0200
@@ -197,7 +197,7 @@
 if [ "$OUTDATED" = true ]
 then
   [ "${#UPDATED[@]}" -gt 0 ] && {
-    echo "Rebuild due to updated file dependencies:"
+    echo "Rebuild due changed files:"
     for FILE in "${UPDATED[@]}"
     do
       echo "  $FILE"