Skip to content

[ivette] fix unintentional macOS argument splitting

Marvin Häuser requested to merge mhaeuser/frama-c:fix/macOS-args into master


The macOS launch script for Ivette does not respect the quotation of arguments with spaces. As such, no matter the quotation, arguments are split when encountering spaces. This merge request fixes the launch script to preserve arguments with spaces as a whole.

Companion MRs

No external plug-in impacted

Proposed Changelog Entry

-* Ivette [YYYY-MM-DD] Fixes macOS argument splitting despite quotation.

Merge request reports