source /etc/profile

5 years ago · 78aabdd621
parent 04ff506dfc
commit 78aabdd621
1 changed files with 1 additions and 1 deletions
--- a/src/main.rs
+++ b/src/main.rs
@ -152,7 +152,7 @@ fn main() {
        });

    let build_command = format!(
-        "cd {}; cargo {} {}",
+        "source /etc/profile; cd {}; cargo {} {}",
        build_path,
        command,
        options.join(" ")