From c469928eaca8497e5c0c169fe4d885d127d8a4d6 Mon Sep 17 00:00:00 2001
From: xengineering <me@xengineering.eu>
Date: Fri, 7 Oct 2022 19:43:47 +0200
Subject: Move linter script to new tools folder

---
 lint.sh       | 10 ----------
 tools/lint.sh | 10 ++++++++++
 2 files changed, 10 insertions(+), 10 deletions(-)
 delete mode 100755 lint.sh
 create mode 100755 tools/lint.sh

diff --git a/lint.sh b/lint.sh
deleted file mode 100755
index 5264112..0000000
--- a/lint.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-
-
-if ! command -v splint 2> /dev/null
-then
-	echo "Please install splint (http://splint.org/)!"
-	exit 1
-fi
-
-find . -type f -iname '*.c' | xargs splint
diff --git a/tools/lint.sh b/tools/lint.sh
new file mode 100755
index 0000000..5264112
--- /dev/null
+++ b/tools/lint.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+
+if ! command -v splint 2> /dev/null
+then
+	echo "Please install splint (http://splint.org/)!"
+	exit 1
+fi
+
+find . -type f -iname '*.c' | xargs splint
-- 
cgit v1.2.3-70-g09d2