diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-10-28 22:30:16 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-10-28 23:28:04 +0200 |
commit | fb6fa0720400d8fa7d9ae29d02c2db58a57a6c8a (patch) | |
tree | 43d984227f1e10bb327ff2a37c0f0ed656eaf559 /crates/driver/src/paths.rs | |
parent | 00f1c87d3d841f5b24c89d370868cf0306896877 (diff) | |
download | rebel-fb6fa0720400d8fa7d9ae29d02c2db58a57a6c8a.tar rebel-fb6fa0720400d8fa7d9ae29d02c2db58a57a6c8a.zip |
Split paths module into driver and runner parts
There are still a few remaining paths that are defined in both driver
and runner.
Diffstat (limited to 'crates/driver/src/paths.rs')
-rw-r--r-- | crates/driver/src/paths.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crates/driver/src/paths.rs b/crates/driver/src/paths.rs new file mode 100644 index 0000000..274dda1 --- /dev/null +++ b/crates/driver/src/paths.rs @@ -0,0 +1,4 @@ +pub const TASK_DESTDIR: &str = "/build/dest"; +pub const TASK_DLDIR: &str = "/build/downloads"; +pub const TASK_WORKDIR: &str = "/build/work"; +pub const TASK_SYSROOT: &str = "/opt/toolchain/sysroot"; |