diff options
author | P. 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) |
commit | cb481970d8e385caf8cc57a8ca36d87d69108322 (patch) | |
tree | 5ba94aeff9f7ba548a0a8e63ce1700a4d8869b50 /build | |
parent | 2795a503c1679271f7c917dd7bca661d431eaf37 (diff) |
Copy and install debugging symbols.
Diffstat (limited to 'build')
-rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |