diff options
Diffstat (limited to 'Build/source')
-rwxr-xr-x | Build/source/Build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/Build b/Build/source/Build index 75943a4ad9b..7fdb61a724a 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -7,6 +7,10 @@ # Any options given are passed along to configure, and everything can be # overridden with environment variables. +# clean up environment +unset TEXMFCNF +export TEXMFCNF + # cd to our source directory. mydir=`dirname $0` cd $mydir || exit 1 |