diff options
Diffstat (limited to 'extern/ode')
| -rw-r--r-- | extern/ode/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extern/ode/Makefile b/extern/ode/Makefile index 36128208049..1479dfcfc32 100644 --- a/extern/ode/Makefile +++ b/extern/ode/Makefile @@ -54,6 +54,9 @@ all: mv $(TEMPSETTINGS) $(USERSETTINGS) endif +# fake debug target +debug: + install: all ifeq ($(OS),$(findstring $(OS), "freebsd linux")) [ -d $(LCGDIR) ] || mkdir $(LCGDIR) |