diff options
| -rwxr-xr-x | easy_e17.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index c5c58fe..4b55772 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -974,8 +974,10 @@ function compile () return fi cd "$path" + echo "PWD" rm -f $status_path/$name.noerrors rm -f "$logs_path/$name.log" + run_command "$name" "$path" "path" "path : " "$mode" "pwd" if [ $clean -ge 1 ]; then if [ -e "Makefile" ]; then if [ $clean -eq 1 ]; then |