--- a/src/Pure/build-jars Wed Jul 06 23:11:59 2011 +0200
+++ b/src/Pure/build-jars Thu Jul 07 13:48:30 2011 +0200
@@ -138,9 +138,7 @@
if [ "$OUTDATED" = true ]
then
- echo "###"
echo "### Building Isabelle/Scala layer ..."
- echo "###"
[ "${#UPDATED[@]}" -gt 0 ] && {
echo "Changed files:"