From cbf2d13e10f1290164e601328301c7fce89cc1d1 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 26 Jun 2020 13:32:57 +0100
Subject: Switch to a more recent version of SQLite in the CI

---
 scripts/build/p-sqlite.inc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/build/p-sqlite.inc b/scripts/build/p-sqlite.inc
index 2ba93ce3..65d3c22c 100644
--- a/scripts/build/p-sqlite.inc
+++ b/scripts/build/p-sqlite.inc
@@ -1,5 +1,5 @@
 setup_build_variables_sqlite() {
-  SQLITE_SRC_PATH="${BASE}/sqlite-amalgamation-3270200"
+  SQLITE_SRC_PATH="${BASE}/sqlite-amalgamation-3320300"
   SQLITE_INSTALL_PATH=${SQLITE_SRC_PATH}
   SQLITE_SUFFIX="${SANITIZER_SUFFIX}"
 }
@@ -7,8 +7,8 @@ setup_build_variables_sqlite() {
 download_sqlite() {
   # Get sqlite release
   cd "${BASE}"
-  wget "http://www.sqlite.org/2019/sqlite-amalgamation-3270200.zip"
-  unzip "sqlite-amalgamation-3270200.zip"
+  wget --no-check-certificate "https://www.sqlite.org/2020/sqlite-amalgamation-3320300.zip"
+  unzip "sqlite-amalgamation-3320300.zip"
 }
 
 build_sqlite() { 
-- 
cgit 1.4.1