diff Makefile @ 34149:11d9ef2177ec

Improve option type CONF_TYPE_PRINT. Allow printing options that neither exit MPlayer nor need an "extra option" in order to work. This fixes that mplayer -gui file won't play, while mplayer -gui -v file for example does.
author ib
date Sat, 22 Oct 2011 11:00:31 +0000
parents 3d7ee643b110
children 3053e7ffd08d
line wrap: on
line diff