From 15076bef84330ed85bfc66f649ccd049c197ac7d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1ty=C3=A1s=20Mustoha?= <mmatyas@inf.u-szeged.hu>
Date: Tue, 28 Jul 2015 12:04:04 +0200
Subject: [PATCH] Disable initial values of `make`.

---
 build.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.rs b/build.rs
index bef08bf3051..4a655d249fc 100644
--- a/build.rs
+++ b/build.rs
@@ -8,7 +8,7 @@ use std::process::{Command, Stdio};
 fn main() {
     let out_dir = env::var("OUT_DIR").unwrap();
     let result = Command::new("make")
-        .args(&["-f", "makefile.cargo"])
+        .args(&["-R", "-f", "makefile.cargo"])
         .stdout(Stdio::inherit())
         .stderr(Stdio::inherit())
         .status()