Skip to content

Commit

Permalink
Remove scripts that now have no warnings from shellcheck ignore list
Browse files Browse the repository at this point in the history
  • Loading branch information
cameel committed Feb 19, 2021
1 parent 2082f70 commit fa9b8c9
Showing 1 changed file with 0 additions and 10 deletions.
10 changes: 0 additions & 10 deletions scripts/chk_shellscripts/ignore.txt
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit fa9b8c9

Please sign in to comment.