Exclude floaty from devtool scripts

CosmWasm · Sep 29, 2023 · 347c6cb · 347c6cb
1 parent 686e7c1
commit 347c6cb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/devtools/check_contracts_full.sh b/devtools/check_contracts_full.sh
@@ -2,6 +2,7 @@
 set -o errexit -o nounset -o pipefail
 command -v shellcheck >/dev/null && shellcheck "$0"
 
+GLOBIGNORE="contracts/floaty/"
 for contract_dir in contracts/*/; do
   (
     cd "$contract_dir"

diff --git a/devtools/check_contracts_medium.sh b/devtools/check_contracts_medium.sh
@@ -2,6 +2,7 @@
 set -o errexit -o nounset -o pipefail
 command -v shellcheck >/dev/null && shellcheck "$0"
 
+GLOBIGNORE="contracts/floaty/"
 for contract_dir in contracts/*/; do
   (
     cd "$contract_dir"