From c8005247ba502ef43f8e3d7b60d4ae35d1f671f6 Mon Sep 17 00:00:00 2001 From: Chen Zhang Date: Tue, 12 Aug 2014 15:15:47 +0000 Subject: [PATCH] corrected bug where "which" output was completely redirected to /dev/null. now only STDERR is dumped, not the desired output, too! --- DAMASK_env.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/DAMASK_env.sh b/DAMASK_env.sh index 1497effda..63a64ffb2 100644 --- a/DAMASK_env.sh +++ b/DAMASK_env.sh @@ -16,11 +16,11 @@ if [[ "x$DAMASK_BIN" != "x" && ! `echo ":$PATH:" | grep $DAMASK_BIN:` ]]; then export PATH=$DAMASK_BIN:$PATH fi -SOLVER=`which DAMASK_spectral >/dev/null 2>&1` +SOLVER=`which DAMASK_spectral 2>/dev/null` if [ "x$SOLVER" == "x" ]; then export SOLVER='Not found!' fi -PROCESSING=`which postResults >/dev/null 2>&1` +PROCESSING=`which postResults 2>/dev/null` if [ "x$PROCESSING" == "x" ]; then export PROCESSING='Not found!' fi