K 10
svn:author
V 4
ngie
K 8
svn:date
V 27
2017-08-02T20:23:25.357062Z
K 7
svn:log
V 121
Only tweak DESTDIR, etc if actively invoking "make check"

This fixes "make installworld"/"make install" (standard use).

END