OK, that blew out on disk space, try again

1 files changed, 4 insertions, 2 deletions

diff --git a/Builder b/Builder
index 48a3557..da511c3 100755
--- a/Builder
+++ b/Builder
@@ -17,7 +17,9 @@ adduser --disabled-password --gecos 'Cryptech Build Bot' --shell /bin/sh builder
 
 echo >/etc/sudoers.d/builder 'builder ALL = (ALL) NOPASSWD: SETENV: ALL'
 
-install -o builder -g builder /cryptech-builder/${XILINX_LICENSE} /home/builder/${XILINX_LICENSE}
+install -o builder -g builder \
+	"/cryptech-builder/${XILINX_LICENSE}" \
+	"/home/builder/${XILINX_LICENSE}"
 
 ln -sf /bin/bash /bin/sh
 
@@ -25,6 +27,6 @@ ln -sf /bin/bash /bin/sh
 
 chown -R builder:builder /home/builder
 
-rm /home/builder/${XILINX_LICENSE}
+rm -rf "${XILINX_PKGDIR}" "/home/builder/${XILINX_LICENSE}"
 
 apt-get remove -y --purge --autoremove ${RAT_PACKAGES}