summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am8
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am
index 9659856136..b48b122f35 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -5379,7 +5379,13 @@ if !HAVE_PYTHON
@false
endif
-dist: dist-check-python
+dist-check-compat-libs:
+if !ENABLE_COMPAT_LIBS
+ @echo "*** compat-libs must be enabled in order to make dist"
+ @false
+endif
+
+dist: dist-check-python dist-check-compat-libs
# check "broken" platforms limited toolchains for link breakage before we release
.PHONY: linkcheck