-
John Palmieri authored
$(DESTDIR) so we don't get the double slash which does not work in windows (patch from Andras Porjesz <andras dot porjesz at siemens dot com>
d3356429
$(DESTDIR) so we don't get the double slash which does not work in windows (patch from Andras Porjesz <andras dot porjesz at siemens dot com>