diff options
Diffstat (limited to 'debug/Makefile')
-rw-r--r-- | debug/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/Makefile b/debug/Makefile index fc15ef3aec..963460ecf9 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -20,6 +20,8 @@ # subdir := debug +include ../Makeconfig + headers := execinfo.h # Note that ptsname_r_chk and getlogin_r are not here, but in @@ -161,8 +163,6 @@ others = pcprofiledump install-bin = pcprofiledump install-bin-script = xtrace -include ../Makeconfig - ifeq ($(build-shared),yes) install-bin-script += catchsegv endif |