same order as in comment

informalsystems · Feb 1, 2024 · fdfc5ed · fdfc5ed
1 parent 30d41e7
commit fdfc5ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/code-quality/whitespace-lints.sh b/ci/code-quality/whitespace-lints.sh
@@ -3,8 +3,8 @@ set -euo pipefail
 
 # use ggrep for macOS, and grep for Linux
 case "$OSTYPE" in
-    linux-gnu*) GREP="grep" ;;
     darwin*) GREP="ggrep" ;;
+    linux-gnu*) GREP="grep" ;;
     *) echo "Unknown OS: $OSTYPE" && exit 1 ;;
 esac