1.1 --- a/build	Wed Apr 20 14:18:33 2005 +0200
     1.2 +++ b/build	Wed Apr 20 16:03:17 2005 +0200
     1.3 @@ -112,6 +112,8 @@
     1.4    echo "  ML_HOME=$ML_HOME"
     1.5    echo "  ML_OPTIONS=$ML_OPTIONS"
     1.6    echo "  ML_PLATFORM=$ML_PLATFORM"
     1.7 +  echo "  ISABELLE_INTERFACE=$ISABELLE_INTERFACE"
     1.8 +  echo "ISABELLE_OUTPUT=$ISABELLE_OUTPUT"
     1.9    echo
    1.10    echo "  ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
    1.11  fi
    1.12 @@ -154,6 +156,7 @@
    1.13    echo "ML_HOME=$ML_HOME"
    1.14    echo "ML_OPTIONS=$ML_OPTIONS"
    1.15    echo "ML_PLATFORM=$ML_PLATFORM"
    1.16 +  echo "ISABELLE_OUTPUT=$ISABELLE_OUTPUT"
    1.17    echo
    1.18    echo "ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
    1.19    echo