tools: Fix file ending of mod2spec.sh (thanks buildbot)
authorKim Alvefur <zash@zash.se>
Sun, 16 Jul 2023 20:29:06 +0200
changeset 13204 150e3bbec1bd
parent 13203 278920294dfe
child 13205 65fb0d7a2312
tools: Fix file ending of mod2spec.sh (thanks buildbot) Accidentally .lua ?
tools/mod2spec.lua
tools/mod2spec.sh
--- a/tools/mod2spec.lua	Sun Jul 16 19:27:18 2023 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-#!/bin/sh
-set -eu
-
-echo "spec/${1//./_}_spec.lua"
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/mod2spec.sh	Sun Jul 16 20:29:06 2023 +0200
@@ -0,0 +1,4 @@
+#!/bin/sh
+set -eu
+
+echo "spec/${1//./_}_spec.lua"