From 6d5f1939a1c65491a9c3c289a63a3d347bd7080e Mon Sep 17 00:00:00 2001 From: Wouter van Heyst Date: Tue, 25 Mar 2003 19:16:22 +0000 Subject: Ahum, ode does needs it's usersettings. (non-patching platforms didn't have it, tried to be to smart) --- extern/ode/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'extern/ode') diff --git a/extern/ode/Makefile b/extern/ode/Makefile index 110880bd7cd..61526548153 100644 --- a/extern/ode/Makefile +++ b/extern/ode/Makefile @@ -40,7 +40,7 @@ all: [ -d $(DISTDIR)/lib ] || mkdir $(DISTDIR)/lib # prepare settings for patching, clean in case of interruption [ ! -f $(TEMPSETTINGS) ] || mv $(TEMPSETTINGS) $(USERSETTINGS) - mv $(USERSETTINGS) $(TEMPSETTINGS) + cp $(USERSETTINGS) $(TEMPSETTINGS) ifeq ($(OS),freebsd) (grep FreeBSD $(DISTDIR)/Makefile >/dev/null ; \ [ $$? -eq 0 ] || patch < patchfile.FreeBSD ) -- cgit v1.2.3