5 files changed, 0 insertions, 50 deletions
diff --git a/src/scripts/ci/circle/clang-shared-debug.sh b/src/scripts/ci/circle/clang-shared-debug.sh
deleted file mode 100755
index 5f38cad7c..000000000
--- a/src/scripts/ci/circle/clang-shared-debug.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -ev
-which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available
-
-BUILD_NICKNAME=$(basename "$0" .sh)
-BUILD_DIR="./build-$BUILD_NICKNAME"
-
-./configure.py --with-build-dir="$BUILD_DIR" --with-debug-info --cc=clang
-make -j 2 -f "$BUILD_DIR"/Makefile
-"$BUILD_DIR"/botan-test
diff --git a/src/scripts/ci/circle/clang-static-debug.sh b/src/scripts/ci/circle/clang-static-debug.sh
deleted file mode 100755
index 56f111190..000000000
--- a/src/scripts/ci/circle/clang-static-debug.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -ev
-which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available
-
-BUILD_NICKNAME=$(basename "$0" .sh)
-BUILD_DIR="./build-$BUILD_NICKNAME"
-
-./configure.py --with-build-dir="$BUILD_DIR" --with-debug-info --cc=clang --disable-shared
-make -j 2 -f "$BUILD_DIR"/Makefile
-"$BUILD_DIR"/botan-test
diff --git a/src/scripts/ci/circle/gcc-sanitizer.sh b/src/scripts/ci/circle/gcc-sanitizer.sh
deleted file mode 100755
index 27d7268d9..000000000
--- a/src/scripts/ci/circle/gcc-sanitizer.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -ev
-which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available
-
-BUILD_NICKNAME=$(basename "$0" .sh)
-BUILD_DIR="./build-$BUILD_NICKNAME"
-
-./configure.py --with-build-dir="$BUILD_DIR" --with-debug-info --with-sanitizer
-make -j 2 -f "$BUILD_DIR"/Makefile
-"$BUILD_DIR"/botan-test
diff --git a/src/scripts/ci/circle/gcc-shared-debug.sh b/src/scripts/ci/circle/gcc-shared-debug.sh
deleted file mode 100755
index 4f5ed1b6d..000000000
--- a/src/scripts/ci/circle/gcc-shared-debug.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -ev
-which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available
-
-BUILD_NICKNAME=$(basename "$0" .sh)
-BUILD_DIR="./build-$BUILD_NICKNAME"
-
-./configure.py --with-build-dir="$BUILD_DIR" --with-debug
-make -j 2 -f "$BUILD_DIR"/Makefile
-"$BUILD_DIR"/botan-test
diff --git a/src/scripts/ci/circle/gcc-static-debug.sh b/src/scripts/ci/circle/gcc-static-debug.sh
deleted file mode 100755
index 16eee81aa..000000000
--- a/src/scripts/ci/circle/gcc-static-debug.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -ev
-which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available
-
-BUILD_NICKNAME=$(basename "$0" .sh)
-BUILD_DIR="./build-$BUILD_NICKNAME"
-
-./configure.py --with-build-dir="$BUILD_DIR" --with-debug-info --disable-shared --amalgamation
-make -j 2 -f "$BUILD_DIR"/Makefile
-"$BUILD_DIR"/botan-test