-
Committer:
Tim Greaves
-
Date:
2013-12-13 16:00:27 UTC
-
Revision ID:
tim.greaves@imperial.ac.uk-20131213160027-zifu032tuik32hih
One-line fix in build system for DESTDIR being set twice; once in the root
Makefile and then stacked in a second time by libspud's makefile, leading to
spurious doubledup paths when 'make install-diamond' is run.