diff --git a/DAMASK_env.sh b/DAMASK_env.sh index f217a7d63..8536a36ca 100644 --- a/DAMASK_env.sh +++ b/DAMASK_env.sh @@ -15,6 +15,7 @@ set() { export $1$2$3 } source $DAMASK_ROOT/CONFIG +unset -f set # if DAMASK_BIN is present and not in $PATH, add it if [[ "x$DAMASK_BIN" != "x" && ! `echo ":$PATH:" | grep $DAMASK_BIN:` ]]; then diff --git a/DAMASK_env.zsh b/DAMASK_env.zsh index dcb93dc4a..e434a97cf 100644 --- a/DAMASK_env.zsh +++ b/DAMASK_env.zsh @@ -13,6 +13,7 @@ set() { export $1$2$3 } source $DAMASK_ROOT/CONFIG +unset -f set # if DAMASK_BIN is present and not in $PATH, add it MATCH=`echo ":$PATH:" | grep $DAMASK_BIN:`