moved time duration measurement of ping from scheduler to pingers
[pingcheck] / run_pclint.sh
1 #!/bin/sh
2 intranator_lint.sh pclint.lnt -w3 -u `find src -name *.cpp`