From 5b7a569fe072fbae5dd1f951fdad3a5c7d273e36 Mon Sep 17 00:00:00 2001
From: Kim Alvefur <zash@zash.se>
Date: Sun, 16 Jul 2023 20:29:06 +0200
Subject: tools: Fix file ending of mod2spec.sh (thanks buildbot)

Accidentally .lua ?
---
 tools/mod2spec.lua | 4 ----
 tools/mod2spec.sh  | 4 ++++
 2 files changed, 4 insertions(+), 4 deletions(-)
 delete mode 100755 tools/mod2spec.lua
 create mode 100755 tools/mod2spec.sh

diff --git a/tools/mod2spec.lua b/tools/mod2spec.lua
deleted file mode 100755
index 74b3021b..00000000
--- a/tools/mod2spec.lua
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-set -eu
-
-echo "spec/${1//./_}_spec.lua"
diff --git a/tools/mod2spec.sh b/tools/mod2spec.sh
new file mode 100755
index 00000000..74b3021b
--- /dev/null
+++ b/tools/mod2spec.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+set -eu
+
+echo "spec/${1//./_}_spec.lua"
-- 
cgit v1.2.3