diff options
Diffstat (limited to 'boost/makefile')
| -rw-r--r-- | boost/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boost/makefile b/boost/makefile index 5d7e0e2..a6c3517 100644 --- a/boost/makefile +++ b/boost/makefile @@ -76,7 +76,7 @@ $(out_base)/: $(driver) # Dist # -name := $(notdir $(src_base)) +name := $(subst /,-,$(subst $(src_root)/,,$(src_base))) $(dist): db_id := @database@ $(dist): sources := $(cxx_tun) |