Browse code

Merge "Add $TOP_DIR to the path when calling worlddump script"

Jenkins authored on 2014/09/13 21:38:31
Showing 1 changed files
... ...
@@ -639,9 +639,9 @@ function exit_trap {
639 639
     if [[ $r -ne 0 ]]; then
640 640
         echo "Error on exit"
641 641
         if [[ -z $LOGDIR ]]; then
642
-            ./tools/worlddump.py
642
+            $TOP_DIR/tools/worlddump.py
643 643
         else
644
-            ./tools/worlddump.py -d $LOGDIR
644
+            $TOP_DIR/tools/worlddump.py -d $LOGDIR
645 645
         fi
646 646
     fi
647 647