diff --git a/.gitmodules b/.gitmodules index 0835e1f17e82b816094e21848fe3ee0dd3ae0ea4..868d33227be17871dbcf31b5fb5eb1631e42458a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -56,3 +56,7 @@ path = patches/nix url = https://github.com/AdminXVII/nix branch = add-redox-support +[submodule "patches/jobserver-rs"] + path = patches/jobserver-rs + url = https://gitlab.redox-os.org/redox-os/jobserver-rs.git + branch = redox diff --git a/patches/jobserver-rs b/patches/jobserver-rs new file mode 160000 index 0000000000000000000000000000000000000000..54508e47f2349cbd0cef9fcf6e6f0cd4bd12d91d --- /dev/null +++ b/patches/jobserver-rs @@ -0,0 +1 @@ +Subproject commit 54508e47f2349cbd0cef9fcf6e6f0cd4bd12d91d