From 700ac112a3dd2041de5fc2a6abd3781103c704a8 Mon Sep 17 00:00:00 2001
From: Tom Ryder <tom@sanctum.geek.nz>
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 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 check/ksh

(limited to 'check/ksh')

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'
-- 
cgit v1.2.3