ba0e8d7
nightly scripts: Use $DESTDIR more We set $DESTDIR in all these scripts, but then use its value several times without just...using it. Let's use it! Signed-off-by: Adam Williamson <awilliam@redhat.com>