diff --git a/scripts/chk_shellscripts/ignore.txt b/scripts/chk_shellscripts/ignore.txt index 24bdf69c5660..f79e50117757 100644 --- a/scripts/chk_shellscripts/ignore.txt +++ b/scripts/chk_shellscripts/ignore.txt @@ -1,20 +1,9 @@ ./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