Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.blender.org/blender.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWouter van Heyst <larstiq-bforge@larstiq.dyndns.org>2003-03-25 22:16:22 +0300
committerWouter van Heyst <larstiq-bforge@larstiq.dyndns.org>2003-03-25 22:16:22 +0300
commit6d5f1939a1c65491a9c3c289a63a3d347bd7080e (patch)
tree770346c8eddde6b88adc8dd91d8088ab37b74a6e /extern/ode
parent92d292f8d39a255b3ca2cc57ce7cdf1388f898ed (diff)
Ahum, ode does needs it's usersettings. (non-patching platforms didn't have it,
tried to be to smart)
Diffstat (limited to 'extern/ode')
-rw-r--r--extern/ode/Makefile2
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 )