Issue #2687: Fix Makefile escaping of ivette shell wrappers $@ on macOS
requested to merge jevinskie/frama-c:jev/bug/issue-2687-mac-ivette-launch-script-makefile-escaping into master
Close #2687 (closed)
Description
Good 'ol make/shell escaping bug fix for issue #2687 (closed).
Companion MRs
No external plug-in impacted
Tasks
-
API documentation is up-to-date, or no need to update -
Manuals are up-to-date (and the CI manuals target has been run), or no need to update (including ACSL manual) -
Opam dependencies versions are up-to-date (and CI Opam targets have been run), or no changes
Proposed Changelog Entry
Ivette (macOS): Fix launcher script not accepting arguments and erroring out with an errant \install arg caused by insufficient Makefile escaping.