diff options
author | 2004-08-18 15:19:55 +0000 | |
---|---|---|
committer | 2004-08-18 15:19:55 +0000 | |
commit | 12ac9238f46cba4693724082849df258db73ee2e (patch) | |
tree | e888d5c7a43538e0b494cbe8e8a84a64c3e71f60 /library/lib.mli | |
parent | d5832194f874352f0a289e08e6981f14dc355495 (diff) |
Ignore errors on strip to fix the FTBFS on arm.
Diffstat (limited to 'library/lib.mli')
0 files changed, 0 insertions, 0 deletions