From 89ec4b0744da74ba625925192434f987707e37fb Mon Sep 17 00:00:00 2001
From: Guillaume Chatelet <gchatelet@google.com>
Date: Fri, 18 Jan 2019 11:48:06 +0100
Subject: [PATCH] Update scripts, remove archive once unpacked

---
 scripts/run_integration.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/run_integration.sh b/scripts/run_integration.sh
index aeb344e..f4d1534 100755
--- a/scripts/run_integration.sh
+++ b/scripts/run_integration.sh
@@ -27,6 +27,7 @@ function unpackifnotexists() {
     local ARCHIVE_NAME=$(echo ${URL} | sed 's/.*\///')
     test -f "${ARCHIVE_NAME}" || wget -q "${URL}"
     extract "${ARCHIVE_NAME}"
+    rm -f "${ARCHIVE_NAME}"
   fi
 }