Skip to content

Issue #2687: Fix Makefile escaping of ivette shell wrappers $@ on macOS

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.

Edited by Allan Blanchard

Merge request reports