diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-06-19 15:52:39 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-06-19 15:52:39 +0200 |
commit | 8825b9799e0348283c16f4ba30c0be48a33a3d24 (patch) | |
tree | d1b32207600f27f1fe389e86188085db36df6203 /debian/rules | |
parent | 4f04a44f72bf552c8d477650a593406b130c79f5 (diff) |
Fix documentation build, add io_select_timeout
* Add doc-fix.patch to fix documentation build.
* Add io_select_timeout patch to introduce the RPC definition for libc to
build the RPC stubs.
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 342ea4d1..9bc24a43 100755 --- a/debian/rules +++ b/debian/rules @@ -72,6 +72,8 @@ override_dh_auto_install: # remove PIC static libraries rm -f debian/tmp/lib/$(DEB_HOST_MULTIARCH)/*_pic.a + patch -p1 -d debian/tmp/include < debian/patches/io_select_timeout + override_dh_install: $(INSTALL_generated) dh_install --list-missing |