scripts/pylint/do_pylint.sh
Tue, 20 Jan 2009 22:21:32 +0000 Todd Larsen Linux /bin/sh (GNU) is not the same as OS X /bin/sh (BSD), so use /bin/bash.
less more (0) tip