mono/mono — pull request #700 by jack-pappas (2013-07-13 11:56:46+00:00)
Title: Call 'awk' instead of 'gawk' for cross-platform compatibility.

Call `awk` instead of `gawk` for cross-platform compatibility. Linux systems normally have a symbolic link from `awk` to `gawk`, so there should be no difference in the functionality on those systems.