Merge branch 'master' of github.com:BU-DiSC/skew-aware-rocksdb-8.9.1

BU-DiSC · Nov 30, 2024 · c0fa4dc · c0fa4dc
2 parents 9ec8126 + 24efbfe
commit c0fa4dc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/build_tools/format-diff.sh b/build_tools/format-diff.sh
@@ -116,7 +116,8 @@ fi
 #     ln -s `git rev-parse --show-toplevel`/build_tools/format-diff.sh $PRE_COMMIT_SCRIPT_PATH
 #   fi
 # fi
-set -e
+#set -e
+set -f
 
 uncommitted_code=`git diff HEAD`