x

Author: nspin

Makefile

@@ -35,7 +35,7 @@ $(crate): $(crate).intermediate
 
 .INTERMDIATE: $(crate).intermediate
 $(crate).intermediate:
-	CC_$(subst -,_,$(target))=$(target_cc)
+	CC_$(subst -,_,$(target))=$(target_cc) \
 	SEL4_INCLUDE_DIRS=$(abspath $(sel4_include_dirs)) \
 		cargo build \
 			-Z build-std=core,alloc,compiler_builtins \