From bb1a464467aefb443d4461e4d75cf0fc4283b461 Mon Sep 17 00:00:00 2001
From: Dundar Goc <gocdundar@gmail.com>
Date: Mon, 11 Jul 2022 16:38:50 +0200
Subject: ci: remove unnecessary file run_lint.sh

It's a leftover artifact that currently just acts as an unnecessary
intermediary script that calls the Makefile. It can be replaced by just
calling the Makefile directly.
---
 ci/run_lint.sh | 24 ------------------------
 ci/script.sh   |  2 +-
 2 files changed, 1 insertion(+), 25 deletions(-)
 delete mode 100755 ci/run_lint.sh

(limited to 'ci')

diff --git a/ci/run_lint.sh b/ci/run_lint.sh
deleted file mode 100755
index ba1a61858e..0000000000
--- a/ci/run_lint.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-set -o pipefail
-
-CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-
-source "${CI_DIR}/common/build.sh"
-source "${CI_DIR}/common/suite.sh"
-
-rm -f "$END_MARKER"
-
-# Run all tests if no input argument is given
-if (($# == 0)); then
-  tests=('lintcfull' 'lintlua' 'lintpy' 'lintsh' 'check-single-includes')
-else
-  tests=("$@")
-fi
-
-for i in "${tests[@]}"; do
-  make "$i" || fail "$i"
-done
-
-end_tests
diff --git a/ci/script.sh b/ci/script.sh
index 74fc4eda6c..be01b045f7 100755
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -3,7 +3,7 @@
 set -e
 set -o pipefail
 
-ci/run_${CI_TARGET}.sh
+ci/run_tests.sh
 
 if [[ -s "${GCOV_ERROR_FILE}" ]]; then
   echo '=== Unexpected gcov errors: ==='
-- 
cgit