diff options
Diffstat (limited to 'c++/Makefile.in')
-rw-r--r-- | c++/Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/c++/Makefile.in b/c++/Makefile.in index 42e400e..ca0f576 100644 --- a/c++/Makefile.in +++ b/c++/Makefile.in @@ -104,6 +104,11 @@ install-examples: uninstall-examples: (cd examples && $(MAKE) $@) || exit 1; +## Check if installation is correct by checking if examples can be built. +## This requires a proper "make install" has been done. +check-install: + (cd examples && $(MAKE) check) || exit 1 + .PHONY: all lib progs test _test install uninstall dep depend clean \ mostlyclean distclean maintainer-clean |