e077e42c
fc7ccd48
1
2 3 4
5
6
#!/bin/sh for pdksh in pdksh/* pdksh/pdkshrc.d/* ; do [ -f "$pdksh" ] || continue ksh -n "$pdksh" || exit done printf 'All pdksh scripts parsed successfully.\n'