From 193e25da9c0de419cf1e76f152023557a8dd6831 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 9 May 2023 17:23:57 +0200
Subject: [PATCH] [machdep] improve error message

---
 src/kernel_services/ast_queries/file.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 3050fa18cbd..5e9e16b3663 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -310,7 +310,7 @@ let () = Cmdline.run_after_exiting_stage machdep_help
 let set_machdep () =
   let m = Kernel.Machdep.get () in
   if not (mem_machdep m) then
-    Kernel.abort "@[unsupported machine %s.@ Try one of%t.@]" m pretty_machdeps
+    Kernel.abort "@[unsupported machine '%s'.@ Either use a predefined name among %t,@ or an YAML machdep file.@]" m pretty_machdeps
 
 let () = Cmdline.run_after_configuring_stage set_machdep
 
-- 
GitLab