Merge pull request #764 from martin-frbg/develop
authorZhang Xianyi <traits.zhang@gmail.com>
Tue, 26 Jan 2016 20:03:27 +0000 (14:03 -0600)
committerZhang Xianyi <traits.zhang@gmail.com>
Tue, 26 Jan 2016 20:03:27 +0000 (14:03 -0600)
Update Makefile.system to fix awk/nawk issue #763


Trivial merge