From ff331061a00b23842215c6f164182efd4d2c12d0 Mon Sep 17 00:00:00 2001
From: holger krekel <holger@merlinux.eu>
Date: Thu, 19 Sep 2019 10:30:34 +0200
Subject: [PATCH] remove unused script

---
 ci_scripts/ci_run.sh | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100755 ci_scripts/ci_run.sh

diff --git a/ci_scripts/ci_run.sh b/ci_scripts/ci_run.sh
deleted file mode 100755
index a8c38e5f6..000000000
--- a/ci_scripts/ci_run.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-# perform CI jobs on PRs and after merges to master.
-# triggered from .circleci/config.yml
-
-set -e -x
-
-export BRANCH=${CIRCLE_BRANCH:-test7}
-    
-# run doxygen on c-source (needed by later doc-generation steps).
-# XXX modifies the host filesystem docs/xml and docs/html directories
-# XXX which you can then only remove with sudo as they belong to root
-
-# XXX we don't do doxygen doc generation with Rust anymore, needs to be
-# substituted with rust-docs 
-#if [ -n "$DOCS" ] ; then 
-#    docker run --rm -it -v $PWD:/mnt -w /mnt/docs deltachat/doxygen doxygen
-#fi
-
-# run everything else inside docker (TESTS, DOCS, WHEELS) 
-docker run -e DCC_PY_LIVECONFIG -e BRANCH -e TESTS -e DOCS \
-           --rm -it -v $(pwd):/mnt -w /mnt \
-           deltachat/coredeps ci_scripts/run_all.sh
-