From 147a976ce972b92e9b04e72eac29de0439dabc6f Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 1 Dec 2018 17:48:07 +0100
Subject: [PATCH] Testing run numerics

---
 run.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/run.sh b/run.sh
index 935d4c4..57d20cc 100755
--- a/run.sh
+++ b/run.sh
@@ -1,5 +1,14 @@
 #! /bin/bash
 
+echo "$1"
+echo "$2"
+echo "$3"
+echo "$4"
+echo "$5"
+echo "$6"
+
+exit 1
+
 echo "RUN numerics test"
 
 branch=$(git ls-remote --heads origin | grep $(git rev-parse HEAD) | cut -d / -f 3)
-- 
GitLab