From cf930214e12b49e89be4674043d9f461d667baae Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 28 Feb 2019 11:56:19 +0000
Subject: Updated dependency build system for KLEE

Provide a single `scripts/build/build.sh` file to build KLEE and its
dependencies.
---
 scripts/build/testing-utils.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 scripts/build/testing-utils.sh

(limited to 'scripts/build/testing-utils.sh')

diff --git a/scripts/build/testing-utils.sh b/scripts/build/testing-utils.sh
deleted file mode 100755
index 8a855291..00000000
--- a/scripts/build/testing-utils.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash -x
-# Make sure we exit if there is a failure
-set -e
-
-DIR="$(cd "$(dirname "$0")" && pwd)"
-source "${DIR}/common-defaults.sh"
-
-# The New CMake build system just needs the GTest sources regardless
-# of LLVM version.
-cd "${BASE}"
-
-wget https://github.com/google/googletest/archive/release-${GTEST_VERSION}.zip
-unzip -o release-${GTEST_VERSION}.zip
-rm release-${GTEST_VERSION}.zip
-- 
cgit 1.4.1