| commit | 89ec4b0744da74ba625925192434f987707e37fb | [log] [tgz] |
|---|---|---|
| author | Guillaume Chatelet <gchatelet@google.com> | Fri Jan 18 11:48:06 2019 +0100 |
| committer | Guillaume Chatelet <gchatelet@google.com> | Fri Jan 18 11:48:06 2019 +0100 |
| tree | 9ff3d473b943bc1dc1f7c957cfeba8f6b6456887 | |
| parent | faacb00bb8607a18843a26734b3cfbe2ef5a47a8 [diff] [blame] |
Update scripts, remove archive once unpacked
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 @@ local ARCHIVE_NAME=$(echo ${URL} | sed 's/.*\///') test -f "${ARCHIVE_NAME}" || wget -q "${URL}" extract "${ARCHIVE_NAME}" + rm -f "${ARCHIVE_NAME}" fi }