From 46c25efe983525dece013ce134beed57ffeabf70 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 20 Jun 2019 09:12:23 +0200
Subject: [PATCH] [Makefile] fix sed replacement argument for better
compatibility with BSD
initial version of the patch contributed by madroach at
https://bts.frama-c.com/view.php?id=2458
---
Makefile.generating | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile.generating b/Makefile.generating
index 04faf2bbc7a..ea525bf3630 100644
--- a/Makefile.generating
+++ b/Makefile.generating
@@ -153,8 +153,8 @@ endif
ifeq ($(HAS_OCAML408),yes)
DYNLINK_INIT=fun () -> ()
FORMAT_STAG=stag
- FORMAT_STRING_OF_STAG=match s with\n\
- | Format.String_tag str -> str\n\
+ FORMAT_STRING_OF_STAG=match s with \
+ Format.String_tag str -> str \
| _ -> raise (Invalid_argument "unsupported tag extension")
FORMAT_STAG_OF_STRING=Format.String_tag s
else
--
GitLab