Merge branch 'improve-safety'
[pingcheck] / run_pclint.sh
2011-12-12 Thomas JaroschAdd script for easier Pc-Lint invocation