diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-08-18 15:19:55 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-08-18 15:19:55 +0000 |
commit | 12ac9238f46cba4693724082849df258db73ee2e (patch) | |
tree | e888d5c7a43538e0b494cbe8e8a84a64c3e71f60 /debian | |
parent | d5832194f874352f0a289e08e6981f14dc355495 (diff) |
Ignore errors on strip to fix the FTBFS on arm.
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index c9881e82..8e927795 100755 --- a/debian/rules +++ b/debian/rules @@ -58,7 +58,10 @@ install: build $(MAKE) $(ADDPREF) install || $(MAKE) BEST=byte HASCOQIDE=byte $(ADDPREF) install - for i in $(COQPREF)/usr/bin/*.opt; do strip -R .note -R .comment $$i; done + -for i in $(COQPREF)/usr/bin/*.opt; do \ + echo "Stripping: $$i"; \ + strip -R .note -R .comment $$i; \ + done cp debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm cp debian/coq.desktop debian/coqide/usr/share/applnk/Development |