From 76922c57919cc342014c2b4df432172e55b350aa Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Tue, 6 Jun 2017 16:43:14 +0000 Subject: [PATCH] Do an extended build to get cargo --- run-crater-task.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-crater-task.sh b/run-crater-task.sh index f7a6b6a..f260d0d 100644 --- a/run-crater-task.sh +++ b/run-crater-task.sh @@ -124,7 +124,7 @@ main() { git clone "$git_repo" rust && (cd rust && git reset "$commit_sha" --hard) say "Configuring" - (cd rust && ./configure --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnu --target=x86_64-unknown-linux-gnu) + (cd rust && ./configure --enable-extended --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnu --target=x86_64-unknown-linux-gnu) say "Building" (cd rust && make -j2 && make dist)