diff options
| author | Martin Pieuchot <mpi@cvs.openbsd.org> | 2017-08-12 20:26:12 +0000 |
|---|---|---|
| committer | Martin Pieuchot <mpi@cvs.openbsd.org> | 2017-08-12 20:26:12 +0000 |
| commit | e61dc1cee63f6c8912df0ea44e062727eecfa9f1 (patch) | |
| tree | a7bcf1106e06055a359d8ad482c120bec0e6ccd2 /sys/arch/sgi | |
| parent | bf4d206e7a7157175ddd0cb90dde0539e552b5b7 (diff) | |
Use ctfstrip(1) by default to strip kernels.
ok deraadt@, jasper@
Diffstat (limited to 'sys/arch/sgi')
| -rw-r--r-- | sys/arch/sgi/conf/Makefile.sgi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/arch/sgi/conf/Makefile.sgi b/sys/arch/sgi/conf/Makefile.sgi index 7d70a7c2072..b510a543a55 100644 --- a/sys/arch/sgi/conf/Makefile.sgi +++ b/sys/arch/sgi/conf/Makefile.sgi @@ -1,4 +1,4 @@ -# $OpenBSD: Makefile.sgi,v 1.89 2017/07/18 16:43:27 tb Exp $ +# $OpenBSD: Makefile.sgi,v 1.90 2017/08/12 20:26:11 mpi Exp $ # For instructions on building kernels consult the config(8) and options(4) # manual pages. @@ -11,7 +11,7 @@ .include <bsd.own.mk> SIZE?= size -STRIP?= strip +STRIP?= ctfstrip AS?= as CC?= cc LD?= ld ${ENDIAN} |