diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-08-26 16:40:38 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-08-26 16:40:38 +0200 |
| commit | f385acfc95a2ec382124c09160d8c62516f3e5d6 (patch) | |
| tree | 98c2ab34c31868ecf98c1477e6ee0da393425c40 | |
| parent | 31e065d4c4aa3c6b340a94247d651376208d2387 (diff) | |
| download | bin-f385acfc95a2ec382124c09160d8c62516f3e5d6.zip bin-f385acfc95a2ec382124c09160d8c62516f3e5d6.tar.gz | |
easy_e17.sh: remove debug echo
| -rwxr-xr-x | easy_e17.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index 4b55772..2dbc02a 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -974,7 +974,6 @@ 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" |