change makefile message

Signed-off-by: Lennard Gäher <l.gaeher@posteo.de>
IBM · Jul 16, 2024 · b5692de · b5692de
1 parent 67352a2
commit b5692de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/security-monitor/Makefile b/security-monitor/Makefile
@@ -36,7 +36,7 @@ build: opensbi_bindings fmt
 	rm -rf $(OPENSBI_WORK_DIR)/
 
 refinedrust: opensbi_bindings
-	echo "Generating OpenSBI bindings" ;\
+	echo "Generating RefinedRust translation" ;\
 	mkdir -p $(SM_WORK_DIR) ; \
 	RUSTFLAGS='$(RUSTFLAGS)' CARGO_TARGET_DIR=$(SM_WORK_DIR) INSTALL_DIR=$(ACE_DIR) $(CARGO) refinedrust $(RELEASE) $(TARGET) --features verbose ; \
 	rm -rf $(OPENSBI_WORK_DIR)/