Merge branch 'dev' of github.com:michaelb/sniprun into dev

michaelb · Jul 27, 2024 · 893d996 · 893d996
2 parents 5fa8396 + c1a677b
commit 893d996
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install.sh b/install.sh
@@ -5,7 +5,7 @@ local_version="v$(grep ^version Cargo.toml | cut -d "\"" -f 2)"
 
 force_build=$1
 current_branch=$(git rev-parse --abbrev-ref HEAD)
-if [ "$current_branch" == "dev" ]; then
+if [ "$current_branch" = "dev" ]; then
   force_build=1
 fi