diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-08-26 08:57:57 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-08-26 08:57:57 +0200 |
| commit | 31e065d4c4aa3c6b340a94247d651376208d2387 (patch) | |
| tree | fb8246dde274779b88ecd32e507e0da81cde548a | |
| parent | d621c888287cff34cc7e9c508b3d555fe4a4c8c2 (diff) | |
| download | bin-31e065d4c4aa3c6b340a94247d651376208d2387.zip bin-31e065d4c4aa3c6b340a94247d651376208d2387.tar.gz | |
easy_e17.sh: add pwd call to help debugging wrong path issues
| -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 |