Re: [PATCH] MIDI command line option

[Neil Puttock]

2008/8/29 Han-Wen Nienhuys <address@hidden>:
> well, yeah.  You need to insert the proper intelligent code in place
> of 'windows'.

This works, but does does the same as the code for PLATFORM:

(midi-extension ,(if
                         (string-ci=? (utsname:sysname (uname)) "windows")
                         "mid"
                         "midi")
                       "set the default file extension for MIDI")

Regards,
Neil