Use patch for filetime
This commit is contained in:
parent
0fcf6b4e74
commit
1d23606439
2 changed files with 49 additions and 20 deletions
|
|
@ -64,6 +64,8 @@ inherits = "release"
|
|||
debug = true
|
||||
|
||||
[patch.crates-io]
|
||||
# https://github.com/alexcrichton/filetime/pull/104
|
||||
filetime = { git = "https://github.com/jackpot51/filetime" }
|
||||
# https://github.com/rust-lang/libc/pull/3686
|
||||
libc = { git = "https://gitlab.redox-os.org/redox-os/liblibc.git", branch = "redox-epoll-0.2" }
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue