From dcbd8fdb126a8ca901865b75b582120315fca096 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 19 May 2017 17:32:41 +0200
Subject: [PATCH] Wrong order for timeout

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

diff --git a/travis/postsubmit.sh b/travis/postsubmit.sh
index a2c4a2c75..35f48ce22 100755
--- a/travis/postsubmit.sh
+++ b/travis/postsubmit.sh
@@ -30,7 +30,7 @@ linux)
     docker cp . storm:/storm
 
     # Execute main process
-    timeout $TIMEOUT $TIMEARG docker exec storm bash -c "
+    timeout $TIMEARG $TIMEOUT docker exec storm bash -c "
         export COMPILER=$COMPILER;
         export N_JOBS=$N_JOBS;
         export STLARG=$STLARG;
@@ -46,7 +46,7 @@ osx)
     export N_JOBS
     export STLARG
     export OS
-    gtimeout $TIMEOUT $TIMEARG travis/postsubmit-helper.sh "$1" "$2"
+    gtimeout $TIMEARG $TIMEOUT travis/postsubmit-helper.sh "$1" "$2"
     exit $?
     ;;