diff --git a/build/tools/spec/maplec b/build/tools/spec/maplec index bfe53678f1c961eef3f2bafef29b8bc1af7d1ac5..6f8a20c0da0fede7b97979a8cb54a5418211c80d 100755 --- a/build/tools/spec/maplec +++ b/build/tools/spec/maplec @@ -135,7 +135,7 @@ function clangTompl() { echo clang2mpl --ascii "$src_file_path" -- $CLANG2MPL_FLAGS $option clang2mpl --ascii "$src_file_path" -- $CLANG2MPL_FLAGS $option || { echo "FAILED: " - echo -e "LD_LIBRARY_PATH=${MAPLE_ROOT}/../ouroboros/driver/script/lib /usr/bin/clang2mpl --ascii" $src_file_path "--" $CLANG_FLAGS $option | tee -a clang2mpl_err.log; + echo -e "clang2mpl --ascii" $src_file_path "--" $CLANG2MPL_FLAGS $option | tee -a clang2mpl_err.log; exit 1; } }