diff options
author | Miles Bader <miles@gnu.org> | 1995-04-10 18:40:45 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-04-10 18:40:45 +0000 |
commit | ff403d742c5d1d63917c9c3dabf493b1337f31e1 (patch) | |
tree | 0fbfdefef380af22c3d8a7fcd2934d4ea2529d5f /exec/exec.c | |
parent | 081b1feb2db594206646563d9b857a32e6acb21d (diff) |
Make INSTALL_BIN use /gd4/hurd-cross/install-stripped to install binaries
stripped.
Diffstat (limited to 'exec/exec.c')
0 files changed, 0 insertions, 0 deletions