Back out part of a previous, bad Make.defs move

This commit is contained in:
Gregory Nutt 2017-07-11 11:23:56 -06:00
parent dea631db4e
commit 6ec979a562