K 10
svn:author
V 4
ngie
K 8
svn:date
V 27
2017-08-02T03:09:55.447359Z
K 7
svn:log
V 220
Clean up DESTDIR, not CHECKDIR

While here, make the variable immediate to avoid silly mistakes that might
result in wiping out / by accident if the variable is evaluated in a delayed
manner due to poor use of $DESTDIR.

END