From 528e007e6a5275a669159515ae6a91f5494a3d0a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sat, 17 Feb 2018 09:35:29 +0100
Subject: [PATCH] Travis: fixed typo

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

diff --git a/travis/build.sh b/travis/build.sh
index 2fd306bca..49a1007bd 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -50,7 +50,7 @@ linux)
         export STLARG=;
         export OS=$OS;
         cd /opt/storm;
-        travis/build-helper.sh $1"
+        travis/build_helper.sh $1"
     EXITCODE=$?
     ;;
 
@@ -62,7 +62,7 @@ osx)
     export N_JOBS
     export STLARG
     export OS
-    gtimeout $TIMEOUT_MAC travis/build-helper.sh "$1"
+    gtimeout $TIMEOUT_MAC travis/build_helper.sh "$1"
     EXITCODE=$?
     ;;