diff options
Diffstat (limited to 'common/lazy-ptr/makefile')
| -rw-r--r-- | common/lazy-ptr/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/lazy-ptr/makefile b/common/lazy-ptr/makefile index 8097d52..f8c46af 100644 --- a/common/lazy-ptr/makefile +++ b/common/lazy-ptr/makefile @@ -47,7 +47,7 @@ $(out_base)/: $(driver) # Dist # -name := $(notdir $(src_base)) +name := $(subst /,-,$(subst $(src_root)/common/,,$(src_base))) $(dist): db_id := @database@ $(dist): sources := $(cxx_tun) |