diff options
author | Yoshitaka Aharen <aharen@jprs.co.jp> | 2012-10-02 12:34:02 +0200 |
---|---|---|
committer | Yoshitaka Aharen <aharen@jprs.co.jp> | 2012-10-03 08:16:05 +0200 |
commit | c1d90c602c39b7b49e7c8ab802956118f8846cd7 (patch) | |
tree | 48c2ff541303d8d972f1d413e2514070a230ca2f /src/lib/statistics | |
parent | [2155] modify Counters::inc() to update new counters (diff) | |
download | kea-c1d90c602c39b7b49e7c8ab802956118f8846cd7.tar.xz kea-c1d90c602c39b7b49e7c8ab802956118f8846cd7.zip |
[2157] add header files to EXTRA_DIST
add statistics header files to EXTRA_DIST
Diffstat (limited to 'src/lib/statistics')
-rw-r--r-- | src/lib/statistics/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/lib/statistics/Makefile.am b/src/lib/statistics/Makefile.am index e3543a29a8..478f1c1553 100644 --- a/src/lib/statistics/Makefile.am +++ b/src/lib/statistics/Makefile.am @@ -18,3 +18,6 @@ AM_CXXFLAGS += -Wno-unused-parameter endif CLEANFILES = *.gcno *.gcda + +# These header files should be in the distribution. +EXTRA_DIST = counter.h counter_dict.h |