diff options
Diffstat (limited to 'Makefile.am')
| -rwxr-xr-x | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 654b5c9..45d1982 100755 --- a/Makefile.am +++ b/Makefile.am @@ -146,6 +146,9 @@ uninstall-doc: installcheck-local: @(cd examples && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1; +# check-install is just a synonym for installcheck +check-install: installcheck + # Only source files in the src directory include tracing information, # so 'make trace' only needs to recurse into that directory. trace: |