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/patches/series | |
| 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/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 299b9452..2e094756 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -41,3 +41,4 @@ libmachdev.patch exec_filename_exec.patch exec_filename_fs.patch exec_filename_use.patch +doc-fix.patch |