From: Reinhold Kainhofer <reinhold@kainhofer.com>
Date: Sat, 15 Nov 2008 22:27:42 +0000 (+0100)
Subject: MusicXML: Also detect compressed MusicXML files from file extension if given
X-Git-Tag: release/2.11.64-1~11
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=07e8172fc070a615661fcbcbbd16989b236778a1;p=lilypond.git

MusicXML: Also detect compressed MusicXML files from file extension if given
---

diff --git a/scripts/musicxml2ly.py b/scripts/musicxml2ly.py
index db942c3348..91b28ae2c1 100644
--- a/scripts/musicxml2ly.py
+++ b/scripts/musicxml2ly.py
@@ -2567,6 +2567,9 @@ def main ():
         if not filename:
             filename = get_existing_filename_with_extension (basefilename, "mxl")
             options.compressed = True
+    if filename and filename.endswith ("mxl"):
+        options.compressed = True
+
     if filename and (filename == "-" or os.path.exists (filename)):
         voices = convert (filename, options)
     else: