added option log-file and option FILE to log-output; use in main and adjusted unit...
[pingcheck] / run_pclint.sh
2011-12-12 Thomas JaroschAdd script for easier Pc-Lint invocation