From dd7f3e86622f9ecb7cff948cc2714f99a33a5aaf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 30 Sep 2020 18:49:21 +0200
Subject: [PATCH] Fix frama-c -print-share-path without \n end
---
src/kernel_internals/runtime/special_hooks.ml | 2 +-
tests/syntax/dune | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/runtime/special_hooks.ml b/src/kernel_internals/runtime/special_hooks.ml
index 0c164a05fcf..6936800dc9c 100644
--- a/src/kernel_internals/runtime/special_hooks.ml
+++ b/src/kernel_internals/runtime/special_hooks.ml
@@ -61,7 +61,7 @@ let print_config get value () =
let print_configl get value () =
if get () then begin
- Log.print_on_output (fun fmt -> List.iter (Format.fprintf fmt "%s\n%!") value) ;
+ Log.print_on_output (fun fmt -> (Format.fprintf fmt "%s%!" (String.concat "\n" value))) ;
raise Cmdline.Exit
end
diff --git a/tests/syntax/dune b/tests/syntax/dune
index 738b7fa0fd8..be1dbc8b5c2 100644
--- a/tests/syntax/dune
+++ b/tests/syntax/dune
@@ -1,3 +1,3 @@
(rule
- (action (with-stdout-to framac_share_path (pipe-stdout (run frama-c -print-share-path) (run tr -d '\n'))))
+ (action (with-stdout-to framac_share_path (run frama-c -print-share-path)))
)
--
GitLab