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.
---
 lint/ksh   | 2 ++
 lint/pdksh | 2 --
 2 files changed, 2 insertions(+), 2 deletions(-)
 create mode 100755 lint/ksh
 delete mode 100755 lint/pdksh

(limited to 'lint')

diff --git a/lint/ksh b/lint/ksh
new file mode 100755
index 00000000..5c5445fc
--- /dev/null
+++ b/lint/ksh
@@ -0,0 +1,2 @@
+#!/bin/sh
+find ksh -type f -print -exec shellcheck -e SC1090 -s ksh -- {} \;
diff --git a/lint/pdksh b/lint/pdksh
deleted file mode 100755
index 03745b3d..00000000
--- a/lint/pdksh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-find pdksh -type f -print -exec shellcheck -e SC1090 -s ksh -- {} \;
-- 
cgit v1.2.3