summaryrefslogtreecommitdiffstats
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
parent2795a503c1679271f7c917dd7bca661d431eaf37 (diff)
Copy and install debugging symbols.
-rwxr-xr-xbuild2
-rw-r--r--libreadline.6-dbg.pkg/files1
2 files changed, 2 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
diff --git a/libreadline.6-dbg.pkg/files b/libreadline.6-dbg.pkg/files
new file mode 100644
index 0000000..1acc2ff
--- /dev/null
+++ b/libreadline.6-dbg.pkg/files
@@ -0,0 +1 @@
+/usr/lib/debug