diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-13 15:21:57 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-13 15:21:57 +0200 |
commit | 5fe41d3986657724c225f2801466984942fc86f7 (patch) | |
tree | d264f30a2cbb568351b136210a83e49ad310b188 | |
parent | 9a160bf853af796c4c09ec05f77ca5fe1cc293e4 (diff) |
Filter out duplicate files
-rw-r--r-- | odb/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odb/makefile b/odb/makefile index 56053eb..144d077 100644 --- a/odb/makefile +++ b/odb/makefile @@ -141,7 +141,7 @@ $(dist): export common_sources := $(common_sources_dist) $(cli_tun:.cli=.cxx) $(dist): headers_dist = $(subst $(src_base)/,,$(shell find $(src_base) \ -name '*.hxx' -o -name '*.ixx' -o -name '*.txx')) $(dist): gen_headers := $(cli_tun:.cli=.hxx) $(cli_tun:.cli=.ixx) -$(dist): export headers = $(headers_dist) $(gen_headers) +$(dist): export headers = $(sort $(headers_dist) $(gen_headers)) $(dist): gen_dist := $(gen) $(dist): data_dist := $(cli_tun) $(dist): export extra_dist := $(data_dist) |