From 95e494968053a17ac05a0c1cec9d8b2c7d450296 Mon Sep 17 00:00:00 2001 From: Emil Fresk Date: Sun, 8 Jan 2023 21:33:44 +0100 Subject: Start CI, disable docs building --- build.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'build.rs') diff --git a/build.rs b/build.rs index 38d2c18..35f8303 100644 --- a/build.rs +++ b/build.rs @@ -18,9 +18,7 @@ fn main() { } else if target.starts_with("thumb") && !(target.starts_with("thumbv6m") | target.starts_with("thumbv8m.base")) { - panic!( - "Unknown target '{target}'. Need to update BASEPRI logic in build.rs." - ); + panic!("Unknown target '{target}'. Need to update BASEPRI logic in build.rs."); } println!("cargo:rerun-if-changed=build.rs"); -- cgit v1.2.3