1.1 --- a/build	Mon Sep 26 08:50:21 2005 +0200
     1.2 +++ b/build	Mon Sep 26 13:12:24 2005 +0200
     1.3 @@ -162,6 +162,7 @@
     1.4    echo "ML_PLATFORM=$ML_PLATFORM"
     1.5    echo
     1.6    echo "ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
     1.7 +  echo "HOL_USEDIR_OPTIONS=$HOL_USEDIR_OPTIONS"
     1.8    echo
     1.9  fi
    1.10