From cf94c3f7df01c51ba5e65ece6280ab90cc9bfd4c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Tue, 2 Feb 2021 15:03:30 +0100
Subject: [PATCH] Remove scripts that now have no warnings from shellcheck
 ignore list

---
 scripts/chk_shellscripts/ignore.txt | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/scripts/chk_shellscripts/ignore.txt b/scripts/chk_shellscripts/ignore.txt
index 24bdf69c5..21b60ee2d 100644
--- a/scripts/chk_shellscripts/ignore.txt
+++ b/scripts/chk_shellscripts/ignore.txt
@@ -1,20 +1,10 @@
 ./test/cmdlineTests.sh
 ./scripts/wasm-rebuild/docker-scripts/rebuild_tags.sh
-./scripts/wasm-rebuild/docker-scripts/rebuild_current.sh
-./scripts/wasm-rebuild/docker-scripts/genbytecode.sh
-./scripts/ci/build_emscripten.sh
 ./scripts/docs_version_pragma_check.sh
-./scripts/uniqueErrors.sh
 ./scripts/tests.sh
 ./scripts/bytecodecompare/storebytecode.sh
 ./scripts/deps-ppa/static_z3.sh
 ./scripts/ASTImportTest.sh
-./scripts/install_static_z3.sh
 ./scripts/install_deps.sh
-./scripts/common_cmdline.sh
-./scripts/docker_deploy_manual.sh
-./scripts/endToEndExtraction/create_traces.sh
 ./scripts/release_ppa.sh
-./scripts/create_source_tarball.sh
 ./.circleci/soltest.sh
-./.circleci/soltest_all.sh