From 5fe41d3986657724c225f2801466984942fc86f7 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 13 Sep 2010 15:21:57 +0200 Subject: Filter out duplicate files --- odb/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'odb/makefile') 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) -- cgit v1.1