From 50fc3b1922f55eb6cc67bc099cc34ef9de93a014 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 5 May 2017 13:46:27 +0200
Subject: [PATCH] Fixed path in travis helper script

---
 travis/postsubmit.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/travis/postsubmit.sh b/travis/postsubmit.sh
index 3f6da6ebb..0b3893ce9 100755
--- a/travis/postsubmit.sh
+++ b/travis/postsubmit.sh
@@ -25,7 +25,7 @@ linux)
 #        export STLARG=$STLARG;
 #        export ASAN_OPTIONS=$ASAN_OPTIONS;
 #        export OS=$OS;
-#        cd fruit; extras/scripts/postsubmit-helper.sh $1"
+#        cd fruit; travis/postsubmit-helper.sh $1"
 #    exit $?
     ;;
 
@@ -35,7 +35,7 @@ osx)
     export STLARG
     export ASAN_OPTIONS
     export OS
-    extras/scripts/postsubmit-helper.sh "$@"
+    travis/postsubmit-helper.sh "$@"
     exit $?
     ;;