Merge branch 'jev/bug/issue-2687-mac-ivette-launch-script-makefile-escaping' into 'master'

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

See merge request frama-c/frama-c!4471

ivette/Makefile

@@ -238,7 +238,7 @@ install:
 	@cp ivette-macos.sh dist/ivette.sh
 	@echo "exec open -na $(LIBDIR)/frama-c/Ivette.app --args\\" >> dist/ivette.sh
 	@echo "  --command $(BINDIR)/frama-c\\" >> dist/ivette.sh
-	@echo "  --working \$$PWD \"\$@\"" >> dist/ivette.sh
+	@echo "  --working \$$PWD \"\$$@\"" >> dist/ivette.sh
 	@mkdir -p $(BINDIR)
 	@install dist/ivette.sh $(BINDIR)/ivette
 	@rm -fr $(IVETTE_DIST)