HomePhabricator

Set file extension to fix "No MIDI file generated" error on Windows

Authored by gnosygnu on Jul 17 2014, 3:15 AM.
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Set file extension to fix "No MIDI file generated" error on Windows

As Lilypond uses .mid as default extension on Windows,
pass "-dmidi-extension=midi" as command line parameter.
See http://www.lilypond.org/doc/v2.17/Documentation/usage/command_002dline-usage

Bug: T49703

Change-Id: Ib1d98103047424f8e82873fb14728f3f30c76233