diff options
| -rwxr-xr-x | rc/bin/play | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rc/bin/play b/rc/bin/play index c1f982727..8953a1024 100755 --- a/rc/bin/play +++ b/rc/bin/play @@ -74,6 +74,8 @@ fn play1 { audio/sundec case *.mid *.MID games/midi -c + case *.mus *.MUS + games/mus | games/midi -c case * echo $argv0: $1: unknown format: $2 >[1=2] } |