diff options
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index 3e92347e56..f246e20ed7 100644 --- a/Makefile.build +++ b/Makefile.build @@ -104,6 +104,10 @@ endef $(foreach f,$(.FEATURES),$(eval $(call order-only-template,$(f)))) +ifndef ORDER_ONLY_SEP +$(error This Makefile needs GNU Make 3.81 or later (that is a version that supports the order-only dependency feature without major bugs.)) +endif + VO_TOOLS_DEP := $(BESTCOQTOP) ifdef COQ_XML VO_TOOLS_DEP += $(COQDOC) |