#!/bin/csh -f
if (-e ~/Apps/playmidifile) then
	~/Apps/playmidifile $*
else if (-e /dist/midi/mididriver/playmidifile) then
	 /dist/midi/mididriver/playmidifile $*
else echo "Fix playmidifile in Common Music's midi subdirectory -- can't play midi file using: $*"
endif
