Skip to content
Snippets Groups Projects
Commit a004879e authored by David Bühler's avatar David Bühler
Browse files

Merge branch 'fix/bsd-sed' into 'stable/potassium'

Fix sed replacement argument for better compatibility with BSD

See merge request frama-c/frama-c!2289
parents a543ae96 46c25efe
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment