diff options
author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2002-05-10 23:43:23 +0000 |
---|---|---|
committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2002-05-10 23:43:23 +0000 |
commit | c1e037c5706f1478be85f25fe4235d466124b80a (patch) | |
tree | d1964b89d19941c000aaab2b508bd2c76365bf6e | |
parent | e8f3c59aad9db71857cc427365a592e2cfedc9ee (diff) |
STRIP is a binary install target
-rw-r--r-- | distrib/miniroot/list2sh.awk | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/distrib/miniroot/list2sh.awk b/distrib/miniroot/list2sh.awk index 57dcb50c916..c7f808b9dd1 100644 --- a/distrib/miniroot/list2sh.awk +++ b/distrib/miniroot/list2sh.awk @@ -1,4 +1,4 @@ -# $OpenBSD: list2sh.awk,v 1.8 2002/04/30 01:30:41 deraadt Exp $ +# $OpenBSD: list2sh.awk,v 1.9 2002/05/10 23:43:22 deraadt Exp $ # $NetBSD: list2sh.awk,v 1.2 1996/05/04 15:45:31 pk Exp $ BEGIN { @@ -15,6 +15,13 @@ $1 == "COPY" { printf("cp %s ${TARGDIR}/%s\n", $2, $3); next; } +$1 == "STRIP" { + printf("echo '%s'\n", $0); + printf("test -f ${TARGDIR}/%s && rm -fr ${TARGDIR}/%s\n", $3, $3); + printf("cp %s ${TARGDIR}/%s\n", $2, $3); + printf("strip ${TARGDIR}/%s\n", $3); + next; +} $1 == "LINK" { printf("echo '%s'\n", $0); for (i = 3; i <= NF; i++) { |