diff options
Diffstat (limited to 'extern/ode/Makefile')
-rw-r--r-- | extern/ode/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) |