summaryrefslogtreecommitdiff
path: root/tools/check-po.awk
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2017-07-15 11:29:05 +0200
committerJörg Frings-Fürst <debian@jff-webhosting.net>2017-07-15 11:29:05 +0200
commit324a8a71bb7d9e4f8bc49b6bc47efaf9fb58282e (patch)
treebd2d48a139bfbe869f4f49359b63097931a45e7b /tools/check-po.awk
parent2ca8a81bd0d99fe4d75c229d0e988d8ef710285f (diff)
parent1edb02101a9306fc711cd422ed507d18165b1691 (diff)
Merge branch 'release/experimental/1.0.27-1_experimental1'experimental/1.0.27-1_experimental1
Diffstat (limited to 'tools/check-po.awk')
-rwxr-xr-xtools/check-po.awk2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/check-po.awk b/tools/check-po.awk
index 25e0728..09e4d15 100755
--- a/tools/check-po.awk
+++ b/tools/check-po.awk
@@ -1,4 +1,4 @@
-#!/bin/awk -f
+#!/usr/bin/gawk -f
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License as