From 2d18d7a2419fcb44d559019d156b6fc49e0c1a18 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <schlatow@ida.ing.tu-bs.de>
Date: Wed, 1 Mar 2017 17:21:07 +0100
Subject: [PATCH] update to 17.02

---
 run/glucose.run         | 11 +++++------
 run/lemon.run           |  5 ++---
 run/scip.run            |  5 ++---
 run/soplex.run          |  5 ++---
 src/test/scip/target.mk |  2 +-
 5 files changed, 12 insertions(+), 16 deletions(-)

diff --git a/run/glucose.run b/run/glucose.run
index 449ed50..3a6cf1f 100644
--- a/run/glucose.run
+++ b/run/glucose.run
@@ -62,12 +62,11 @@ append config "
 	<start name=\"test-glucose\">
 		<resource name=\"RAM\" quantum=\"32M\"/>
 		<config>
-			<libc stdin=\"/dev/null\" stdout=\"/dev/log\" stderr=\"/dev/log\">
-				<vfs>
-					<dir name=\"dev\"> <log/> <null/> </dir>
-					<rom name=\"Test.cnf\" size=\"$filesize\"/>
-				</vfs>
-			</libc>
+			<libc stdin=\"/dev/null\" stdout=\"/dev/log\" stderr=\"/dev/log\" />
+			<vfs>
+				<dir name=\"dev\"> <log/> <null/> </dir>
+				<rom name=\"Test.cnf\" size=\"$filesize\"/>
+			</vfs>
 		</config>
 	</start>
 </config>"
diff --git a/run/lemon.run b/run/lemon.run
index 3fe6049..9b18639 100644
--- a/run/lemon.run
+++ b/run/lemon.run
@@ -22,9 +22,8 @@ install_config {
 	<start name="test-lemon">
 		<resource name="RAM" quantum="2M"/>
 		<config>
-			<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log">
-				<vfs> <dir name="dev"> <log/> <null/> </dir>	</vfs>
-			</libc>
+			<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log"/>
+			<vfs> <dir name="dev"> <log/> <null/> </dir>	</vfs>
 		</config>
 	</start>
 </config>
diff --git a/run/scip.run b/run/scip.run
index 3a79605..747cd33 100644
--- a/run/scip.run
+++ b/run/scip.run
@@ -25,9 +25,8 @@ install_config {
 		<config>
 			<arg value="queens"/>
 			<arg value="5"/>
-			<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log">
-				<vfs> <dir name="dev"> <log/> <null/> </dir>	</vfs>
-			</libc>
+			<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log" />
+			<vfs> <dir name="dev"> <log/> <null/> </dir>	</vfs>
 		</config>
 	</start>
 </config>
diff --git a/run/soplex.run b/run/soplex.run
index f80b854..e0036f5 100644
--- a/run/soplex.run
+++ b/run/soplex.run
@@ -22,9 +22,8 @@ install_config {
 	<start name="test-soplex">
 		<resource name="RAM" quantum="2M"/>
 		<config>
-			<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log">
-				<vfs> <dir name="dev"> <log/> <null/> </dir>	</vfs>
-			</libc>
+			<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log" />
+			<vfs> <dir name="dev"> <log/> <null/> </dir>	</vfs>
 		</config>
 	</start>
 </config>
diff --git a/src/test/scip/target.mk b/src/test/scip/target.mk
index d30e83b..5227be7 100644
--- a/src/test/scip/target.mk
+++ b/src/test/scip/target.mk
@@ -1,5 +1,5 @@
 TARGET = test-scip
-LIBS   = posix scip stdcxx config_args
+LIBS   = posix scip stdcxx 
 SCIP_DIR = $(call select_from_ports,scip)/src/lib/scip/
 EX_DIR   = $(SCIP_DIR)/examples/Queens/src
 INC_DIR  += $(EX_DIR)