From 700ac112a3dd2041de5fc2a6abd3781103c704a8 Mon Sep 17 00:00:00 2001 From: Tom Ryder Date: Sat, 17 Dec 2016 17:46:15 +1300 Subject: Rename all pdksh stuff to ksh As part of a foray into more active use of ksh and derivatives. --- check/ksh | 6 ++++++ check/pdksh | 6 ------ 2 files changed, 6 insertions(+), 6 deletions(-) create mode 100755 check/ksh delete mode 100755 check/pdksh (limited to 'check') diff --git a/check/ksh b/check/ksh new file mode 100755 index 00000000..3136c413 --- /dev/null +++ b/check/ksh @@ -0,0 +1,6 @@ +#!/bin/sh +for ksh in ksh/* ksh/kshrc.d/* ; do + [ -f "$ksh" ] || continue + ksh -n "$ksh" || exit +done +printf 'All ksh scripts parsed successfully.\n' diff --git a/check/pdksh b/check/pdksh deleted file mode 100755 index fd1d55b7..00000000 --- a/check/pdksh +++ /dev/null @@ -1,6 +0,0 @@ -#!/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' -- cgit v1.2.3