author | wenzelm |
Wed, 15 Jun 2011 15:08:22 +0200 | |
changeset 43395 | 85e468a8045a |
parent 43394 | 47e60a27a496 |
child 43396 | 548a68eafaea |
--- 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"