diff --git a/tools/bufr_filter b/tools/bufr_filter index d343ff57f..6e34b3168 100755 --- a/tools/bufr_filter +++ b/tools/bufr_filter @@ -53,6 +53,7 @@ for i in "$@" ; do done ######################################################### +# set -x if [ $is_emoslib -eq 1 ]; then pkg=emoslib tool=$EMOSLIB_TOOL @@ -62,10 +63,10 @@ else tool=$ECCODES_TOOL try_tool $tool fi - if [ $result -eq $ERR_TOOL_NOT_FOUND ]; then echo "ERROR: Could not find the executable: $tool. Aborting!" 2>&1 echo " The arguments you passed in are relevant to $pkg" 2>&1 echo " Please make sure you have $pkg installed in your path" 2>&1 exit 1 fi +exit $result