# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1689532146 -7200
# Node ID 150e3bbec1bdc3a7eec38a7a778ece003420239b
# Parent  278920294dfefd805b24a1309d3c6d90a0a426ef
tools: Fix file ending of mod2spec.sh (thanks buildbot)

Accidentally .lua ?

diff -r 278920294dfe -r 150e3bbec1bd tools/mod2spec.lua
--- 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"
diff -r 278920294dfe -r 150e3bbec1bd tools/mod2spec.sh
--- /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"