From c5dba6065420b972bd399f95648eb263f5c11ab2 Mon Sep 17 00:00:00 2001
From: Martin Diehl <m.diehl@mpie.de>
Date: Fri, 15 Jul 2016 21:03:34 +0200
Subject: [PATCH] need to unset "set" (seems to be a common function)

---
 DAMASK_env.sh  | 1 +
 DAMASK_env.zsh | 1 +
 2 files changed, 2 insertions(+)

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:`