diff options
Diffstat (limited to 'extern/ode')
| -rw-r--r-- | extern/ode/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extern/ode/Makefile b/extern/ode/Makefile index 3495d59231e..f1d2c98fe23 100644 --- a/extern/ode/Makefile +++ b/extern/ode/Makefile @@ -39,8 +39,10 @@ TEMPSETTINGS = ./user-settings all: [ -d $(DISTDIR)/lib ] || mkdir $(DISTDIR)/lib # prepare settings for patching, clean in case of interruption + ifeq ($(OS),$(findstring $(OS), "darwin windows")) [ ! -f $(TEMPSETTINGS) ] || mv $(TEMPSETTINGS) $(USERSETTINGS) cp $(USERSETTINGS) $(TEMPSETTINGS) + endif ifeq ($(OS),freebsd) (grep FreeBSD $(DISTDIR)/Makefile >/dev/null ; \ [ $$? -eq 0 ] || patch < patchfile.FreeBSD ) @@ -57,7 +59,9 @@ all: $(MAKE) -C $(DISTDIR) endif # restore settings + ifeq ($(OS),$(findstring $(OS), "darwin windows")) mv $(TEMPSETTINGS) $(USERSETTINGS) + endif # fake debug target debug: |