# HG changeset patch
# User paulson
# Date 1114090410 -7200
# Node ID e68dab670fc54b19627e8238dd5d7d0c96f17451
# Parent  4cb16144c81b113177236284f1878afa57e8c489
removed tracing info

diff -r 4cb16144c81b -r e68dab670fc5 src/Pure/mk
--- a/src/Pure/mk	Thu Apr 21 15:05:24 2005 +0200
+++ b/src/Pure/mk	Thu Apr 21 15:33:30 2005 +0200
@@ -87,9 +87,6 @@
 if [ -z "$RAW" ]; then
   ITEM="Pure"
   echo "Building $ITEM ..."
-
-  echo "raw is $RAW item is $ITEM isabelle is $ISABELLE"
-
   LOG="$LOGDIR/$ITEM"
 
   "$ISABELLE" $COPY \