diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 0fd8745..aa80b81 100644 --- a/Makefile.in +++ b/Makefile.in @@ -118,8 +118,11 @@ uninstall-doc: ## Check if installation is correct by checking if examples can be built. ## This requires a proper "make install" has been done. check-install: - @@SETX@; for d in examples @HDF5_INTERFACES@; do \ + (cd examples && $(MAKE) check) || exit 1 + @@SETX@; for d in dummy @HDF5_INTERFACES@; do \ + if test $$d != "dummy"; then \ (cd $$d && $(MAKE) $@) || exit 1; \ + fi; \ done ## Number format detection |