From 04df49cae34f4ee57a4c5132da663f83b7eac3ed Mon Sep 17 00:00:00 2001
From: Carl Mai <carl.mai@tu-dresden.de>
Date: Wed, 18 Jul 2018 17:50:01 +0200
Subject: [PATCH] another emfer ci fix

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 52fc64f..71f067a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -56,7 +56,7 @@ RUN echo "glpkPath = /usr/lib/x86_64-linux-gnu/jni" > gradle.properties
 #RUN sed -i '/jastadd-mquat-solver-emfer/d' settings.gradle
 #RUN sed -i '/jastadd-mquat-solver-emfer/d' jastadd-mquat-benchmark/build.gradle
 #RUN sed -i '/EMFeRSolver/d' jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java
-RUN echo "test.enabled = false" > ./jastadd-mquat-solver-emfer/build.gradle
+RUN echo "test.enabled = false" >> ./jastadd-mquat-solver-emfer/build.gradle
 #RUN echo "test.enabled = false" > ./jastadd-mquat-solver-random/build.gradle
 RUN sed -i 's/MINUTES/SECONDS/g' jastadd-mquat-benchmark/src/main/resources/scenarios.json
 
-- 
GitLab