diff options
Diffstat (limited to 'debug/Makefile')
| -rw-r--r-- | debug/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/debug/Makefile b/debug/Makefile index 69c0275e62..aba98926da 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -40,14 +40,15 @@ libpcprofile-routines = pcprofile libpcprofile-inhibit-o = $(filter-out .os,$(object-suffixes)) others = pcprofiledump -install-bin = pcprofiledump xtrace +install-bin = pcprofiledump +install-bin-script = xtrace include ../Makeconfig distribute += catchsegv.sh xtrace.sh ifeq ($(elf),yes) ifeq ($(build-shared),yes) -install-bin += catchsegv +install-bin-script += catchsegv endif endif generated = catchsegv xtrace |