diff options
| -rwxr-xr-x | doall.sh | 3 | 
1 files changed, 3 insertions, 0 deletions
| @@ -4,6 +4,9 @@ set -eE -o pipefail  trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR  set -x +x="$(readlink -f -- "$BASH_SOURCE")"; cd ${x%/*} # directory of this file + +  rm distfiles output *.log *.h5 -rf  mkdir distfiles | 
