--- rpl/rplcas/Makefile.in	2019/02/04 09:21:45	1.56
+++ rpl/rplcas/Makefile.in	2019/02/05 10:40:34	1.57
@@ -106,25 +106,17 @@ lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
 		mv -f $$i.2 $$i; \
 		chmod 755 $$i; \
 	done
-	sed 's/^SHELL=\/bin\/bash/SHELL=@BASH@/g' \
-		@COCOA@/configuration/autoconf.mk \
-		> @COCOA@/configuration/autoconf.mk2
-	mv -f @COCOA@/configuration/autoconf.mk2 \
-		@COCOA@/configuration/autoconf.mk
-	chmod 755 @COCOA@/configuration/autoconf.mk
-	if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
-		if [ @BUILD@ = @HOST@ ]; then \
-			(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
-					./configure --with-libgmp=../lib/libgmp.a \
-					--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
-		else \
-			(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
-					./configure --with-libgmp=../lib/libgmp.a \
-					--with-cxx=@HOST@-g++ \
-					--with-cxxflags="@SYSROOT@ $(CXXFLAGS)" \
-					--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
-		fi; \
-	fi
+	if [ @BUILD@ = @HOST@ ]; then \
+		(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
+				./configure --with-libgmp=../lib/libgmp.a \
+				--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
+	else \
+		(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
+				./configure --with-libgmp=../lib/libgmp.a \
+				--with-cxx=@HOST@-g++ \
+				--with-cxxflags="@SYSROOT@ $(CXXFLAGS)" \
+				--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
+	fi; \
 	for i in $(shell find @COCOA@ -name "*" -exec grep /bin/bash {} /dev/null \; | cut -d: -f1); \
 	do \
 		sed '1,1s/^#! *\/bin\/bash/#!@BASH@/g' $$i > $$i.2; \