Joseph Koshy 39b1aee2e1 fix rm -f
"/bin/rm" should not issue a usage message if the "-f" option was
    specified.
2011-11-25 17:49:09 +01:00
..
2011-11-25 17:49:09 +01:00