diff options
Diffstat (limited to 'tools/Makefile.in')
| -rw-r--r-- | tools/Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/Makefile.in b/tools/Makefile.in index 1d6aab9..14f42b0 100644 --- a/tools/Makefile.in +++ b/tools/Makefile.in @@ -646,6 +646,14 @@ uninstall-info: uninstall-info-recursive # as well. check-install: installcheck +# List all build rules defined by HDF5 Makefiles as "PHONY" targets here. +# This tells the Makefiles that these targets are not files to be built but +# commands that should be executed even if a file with the same name already +# exists. +.PHONY: build-check-clean build-check-p build-check-s build-lib build-progs \ + build-tests check-clean check-install check-p check-s check-vfd \ + install-doc lib progs tests uninstall-doc _exec_check-s _test + # lib/progs/tests targets recurse into subdirectories. build-* targets # build files in this directory. # BUILT_SOURCES contain targets that need to be built before anything else |