Ahum, ode does needs it's usersettings. (non-patching platforms didn't have it,
authorWouter van Heyst <larstiq-bforge@larstiq.dyndns.org>
Tue, 25 Mar 2003 19:16:22 +0000 (19:16 +0000)
committerWouter van Heyst <larstiq-bforge@larstiq.dyndns.org>
Tue, 25 Mar 2003 19:16:22 +0000 (19:16 +0000)
tried to be to smart)

extern/ode/Makefile

index 110880bd7cd57d533cb5766a38a53bbc6a3452b8..6152654815306da1f9ed7f18cd0228a815f98320 100644 (file)
@@ -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 )