From cd9613428e9d52fc49e41147dfe7b38b6cc34cbd Mon Sep 17 00:00:00 2001
From: Robin Adili <radili@ad.inria.fr>
Date: Tue, 1 Sep 2020 15:42:37 +0200
Subject: [PATCH] copy sip from repo

---
 build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.sh b/build.sh
index 80a5463..a34c12d 100644
--- a/build.sh
+++ b/build.sh
@@ -11,6 +11,7 @@ builddir="$scdir"/build
 cd "$builddir"
 
 wget -i "$scdir"/reqs.txt
+cp "${scdir}/sip*.tar.gz" "${builddir}"
 ls -1 *.tar.gz|xargs -L 1 tar -xvf
 rm *.tar.gz
 
-- 
GitLab