From e885f4ac5f923b372866631aae12ec4e763ca24b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 9 Oct 2017 23:43:20 +0200
Subject: Towards a working docker version...

---
 make_abc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'make_abc.sh')

diff --git a/make_abc.sh b/make_abc.sh
index 3d386d7..e82de6e 100755
--- a/make_abc.sh
+++ b/make_abc.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-libs="ArgEnv Directory Dynamics Gast Generics MersenneTwister StdEnv StdLib TCPIP clean-platform/OS-Independent clean-platform/OS-Posix clean-platform/OS-Linux clean-platform/OS-Linux-64 clean-platform/OS-Independent/Deprecated/StdLib"
+libs="ArgEnv Directory Dynamics Gast Generics MersenneTwister StdEnv TCPIP Platform Platform/Deprecated/StdLib"
 shopt -s globstar
 for lib in $libs
 do
-- 
cgit v1.2.3