fixed compilation error if WITH_MIDI wasn't defined #425
| Job | Run time |
|---|---|
| 4m 58s | |
| 4m 52s | |
| 5m 18s | |
| 5m 9s | |
| 4m 52s | |
| 4m 56s | |
| 4m 7s | |
| 4m 2s | |
| 3m 28s | |
| 4m 1s | |
| 6m 58s | |
| 19m 43s | |
| 17m 43s | |
| 0s | |
| 1h 30m 7s |
| Job | Run time |
|---|---|
| 4m 58s | |
| 4m 52s | |
| 5m 18s | |
| 5m 9s | |
| 4m 52s | |
| 4m 56s | |
| 4m 7s | |
| 4m 2s | |
| 3m 28s | |
| 4m 1s | |
| 6m 58s | |
| 19m 43s | |
| 17m 43s | |
| 0s | |
| 1h 30m 7s |