summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile.in4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in
index 0325d5f..da94ced 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -111,6 +111,10 @@ uninstall-doc:
@$(MAKE) uninstall-examples
(cd doc && $(MAKE) $@) || exit 1;
+## need to require a proper "make install" has been done.
+check-install:
+ (cd examples && $(MAKE) check) || exit 1;
+
## Number format detection
H5detect:
(cd src && $(MAKE) $@)