From bd9bce8531b5d694930a47bad17cbcd2f0a3d4de Mon Sep 17 00:00:00 2001 From: johannst Date: Sat, 10 Jul 2021 19:28:19 +0200 Subject: build.rs: raise make error --- build.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/build.rs b/build.rs index 98d7c88..fa1bef2 100644 --- a/build.rs +++ b/build.rs @@ -22,4 +22,8 @@ fn main() { .output() .unwrap(); std::io::stdout().write_all(&o.stdout).unwrap(); + std::io::stderr().write_all(&o.stderr).unwrap(); + + // Ensure `make` was successfull. + assert!(o.status.success()); } -- cgit v1.2.3