From 256d62df45f51f78d22b57e34ad2f59cfdd73737 Mon Sep 17 00:00:00 2001
From: David Lecompte <3gpp@metani.eu>
Date: Wed, 3 Jun 2026 11:33:28 +0200
Subject: [PATCH] Changing the shebang of .awk files to "awk -f", so that they
 can be executed.

---
 awk/txt2asn-integrated.awk | 2 +-
 awk/txt2asn.awk            | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 awk/txt2asn-integrated.awk
 mode change 100644 => 100755 awk/txt2asn.awk

diff --git a/awk/txt2asn-integrated.awk b/awk/txt2asn-integrated.awk
old mode 100644
new mode 100755
index a4f1acf..4077154
--- a/awk/txt2asn-integrated.awk
+++ b/awk/txt2asn-integrated.awk
@@ -1,4 +1,4 @@
-#!/bin/gawk
+#!/bin/awk -f
 
 # Arrays used:
 
diff --git a/awk/txt2asn.awk b/awk/txt2asn.awk
old mode 100644
new mode 100755
index 0c022e0..1eb8414
--- a/awk/txt2asn.awk
+++ b/awk/txt2asn.awk
@@ -1,4 +1,4 @@
-#!/bin/gawk
+#!/bin/awk -f
 
 BEGIN {
     add_line_after != "" ;
-- 
2.47.3