Unify the nok setting for better optimizer chances.
authorJarkko Hietaniemi <jhi@iki.fi>
Thu, 25 Sep 2014 01:17:01 +0000 (21:17 -0400)
committerJarkko Hietaniemi <jhi@iki.fi>
Thu, 25 Sep 2014 01:19:13 +0000 (21:19 -0400)
commitd48bd569994962e4f87f68fdcd86ddbd6f9ab1f7
tree0f1e7d38fd6c751f6285ec445515d33b5558691d
parent522c63f2ecc9e36821528bb96cb98f39509068fb
Unify the nok setting for better optimizer chances.

Suggested by bulk88.  Also comment tweaks.
sv.c