[MPlayer-dev-eng] [PATCH] help_diff.sh little bugfix

[Michele Balistreri]

> Maybe #!/bin/bash --norc is better?
i've already tried it, it doesn't work (it's -norc and not --norc)