summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2013-08-04 14:16:39 (EDT)
committer P. J. McDermott <pjm@nac.net>2013-08-04 14:16:39 (EDT)
commitcb481970d8e385caf8cc57a8ca36d87d69108322 (patch)
tree5ba94aeff9f7ba548a0a8e63ce1700a4d8869b50 /build
parent2795a503c1679271f7c917dd7bca661d431eaf37 (diff)
Copy and install debugging symbols.
Diffstat (limited to 'build')
-rwxr-xr-xbuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/build b/build
index 3061d14..60c5e2f 100755
--- a/build
+++ b/build
@@ -21,5 +21,5 @@ install: build
# Remove GNU Info index.
rm -f dest/usr/share/info/dir
oh-fixperms
- oh-strip
+ oh-strip -k
oh-installfiles