diff --git a/extern/ode/Makefile b/extern/ode/Makefile index 812978a8e28..55c7bc6967b 100644 --- a/extern/ode/Makefile +++ b/extern/ode/Makefile @@ -40,6 +40,8 @@ all: ifeq ($(OS),freebsd) (grep FreeBSD $(DISTDIR)/Makefile >/dev/null ; \ [ $$? -eq 0 ] || patch < patchfile.FreeBSD ) + endif + ifeq ($(OS),$(findstring $(OS), "freebsd linux")) $(MAKE) -C $(DISTDIR) endif ifeq ($(OS),windows)