From f477d60fbdaed30f103296ffd130746221de64f5 Mon Sep 17 00:00:00 2001
From: Philip Trettner <Philip.Trettner@rwth-aachen.de>
Date: Mon, 15 Apr 2019 09:24:35 +0200
Subject: [PATCH] fixed bin dir

---
 CI/ci-linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CI/ci-linux.sh b/CI/ci-linux.sh
index 1ccb25c..ed52509 100755
--- a/CI/ci-linux.sh
+++ b/CI/ci-linux.sh
@@ -89,4 +89,4 @@ cd ..
 
 # tests
 cd bin
-./pm-tests
+./Release/pm-tests
-- 
GitLab