gawk-3.1.2 do not take input file on command line

[Martin Schlemmer]

Hi

For gawk-3.1.1 this was still fine, but with gawk-3.1.2 I get:

-------------------------------------------------
# gawk '/devfs/ { print }' /proc/filesystems 
#
-------------------------------------------------

Which should have given the same as:

-------------------------------------------------
# cat /proc/filesystems | gawk '/devfs/ { print }'
nodev   devfs
nodev   usbdevfs
# 
--------------------------------------------------

Breaks our boot up pretty bad 8)


Regards,

-- 
Martin Schlemmer
Gentoo Linux Developer, Desktop Team
Cape Town, South Africa