mirror of
https://github.com/mpv-player/mpv
synced 2024-08-04 14:59:58 +02:00
configure: print "Unknown parameter: " error to stderr
Print the "Unknown parameter: " line shown for unrecognized configure options to stderr; other fatal errors are already directed there.
This commit is contained in:
parent
ed575cb710
commit
dbb47bb2ec