diff options
| author | Guy Harris <guy@alum.mit.edu> | 2013-02-09 20:15:18 +0000 |
|---|---|---|
| committer | Guy Harris <guy@alum.mit.edu> | 2013-02-09 20:15:18 +0000 |
| commit | 4824a391e8dc7971d060902a784d284177362b86 (patch) | |
| tree | e703b5a78598d8425dd2c20ba541134b64dce87b /plugins/Makefile.common.inc | |
| parent | 0eb047bcef78f6669b7e79717bc24e463eb89468 (diff) | |
Pull the definition of NODIST_HEADER_FILES up into
plugins/Makefile.common.inc.
svn path=/trunk/; revision=47596
Diffstat (limited to 'plugins/Makefile.common.inc')
| -rw-r--r-- | plugins/Makefile.common.inc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugins/Makefile.common.inc b/plugins/Makefile.common.inc index f82cc004e7..80915cc5ea 100644 --- a/plugins/Makefile.common.inc +++ b/plugins/Makefile.common.inc @@ -85,6 +85,12 @@ NODIST_SRC_FILES = \ $(LEMON_GENERATED_CPP_FILES) # +# All non-distributed header files. +# +NODIST_HEADER_FILES = \ + $(LEMON_GENERATED_HEADER_FILES) + +# # All Flex-generated source files. # FLEX_GENERATED_SRC_FILES = \ |