I am writing a gawk script that begins 

#!/bin/gawk -f
BEGIN { print FILENAME }

I am calling the file via ./script file1.html but the script just returns nothing. Any ideas?

linux bash shell awk gawk
Edit
Report