diff options
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile index 1612efc1..2e02e578 100644 --- a/Makefile +++ b/Makefile @@ -14,6 +14,12 @@ LEVEL = . include $(LEVEL)/Makefile.config +# The header files are normally installed +# by the install-local target in the top-level +# makefile. This disables installing anything +# in the top-level makefile. +NO_INSTALL=1 + DIRS = lib tools runtime EXTRA_DIST = include |