From 31e065d4c4aa3c6b340a94247d651376208d2387 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Fri, 26 Aug 2011 08:57:57 +0200
Subject: easy_e17.sh: add pwd call to help debugging wrong path issues

---
 easy_e17.sh | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
cgit v1.1-2-g2b99