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