Please patch "src/tla/=gpg-check.awk" to use /usr/bin/gawk and install it as "/usr/bin/tla-gpg-check.awk". Thanks! Reproducible: Always Steps to Reproduce:
Committed
Please chmod 755 that file, too: sascha@cube:~$ ls -l /usr/bin/tla-gpg-check.awk -rwxr--r-- 1 root root 712 Mar 30 14:35 /usr/bin/tla-gpg-check.awk
Fixed