-
Simon Marlow authored
This works around a problem with recent versions of GNU make that take a long time when all targets are declared intermediate with .SECONDARY. See https://savannah.gnu.org/bugs/?func=detailitem&item_id=15584 for discussion of the GNU make issue.
04c0256a