Clean up fd_renumber

2019-07-18 21:21:17 +02:00
parent 310ecb5b5b
commit 13823e2b39
7 changed files with 66 additions and 46 deletions
--- a/build.rs
+++ b/build.rs
@@ -134,6 +134,7 @@ cfg_if::cfg_if! {
                    "big_random_buf" => false,
                    "sched_yield" => false,
                    "file_pread_pwrite" => false,
+                    "renumber" => false,
                    _ => true,
                }
            } else {