martin 4a5465f248 Pass AWK to make when invoking emit_dist_file. ...

Part of fixing PR toolchain/50004.

2015-06-28 09:29:58 +00:00

..

Makefile

…

postinstall

Pass AWK to make when invoking emit_dist_file.

2015-06-28 09:29:58 +00:00

postinstall.8

…