removed tracing info
authorpaulson
Thu Apr 21 15:33:30 2005 +0200 (2005-04-21)
changeset 15790e68dab670fc5
parent 15789 4cb16144c81b
child 15791 446ec11266be
removed tracing info
src/Pure/mk
     1.1 --- a/src/Pure/mk	Thu Apr 21 15:05:24 2005 +0200
     1.2 +++ b/src/Pure/mk	Thu Apr 21 15:33:30 2005 +0200
     1.3 @@ -87,9 +87,6 @@
     1.4  if [ -z "$RAW" ]; then
     1.5    ITEM="Pure"
     1.6    echo "Building $ITEM ..."
     1.7 -
     1.8 -  echo "raw is $RAW item is $ITEM isabelle is $ISABELLE"
     1.9 -
    1.10    LOG="$LOGDIR/$ITEM"
    1.11  
    1.12    "$ISABELLE" $COPY \