From bab530209ec483add6e6cb7adff3fe9dd4750928 Mon Sep 17 00:00:00 2001 From: bowenliang123 Date: Mon, 23 Mar 2026 20:39:32 +0800 Subject: [PATCH] update --- dev/reformat | 1 + 1 file changed, 1 insertion(+) diff --git a/dev/reformat b/dev/reformat index 4ff15837be..c6e3f99744 100755 --- a/dev/reformat +++ b/dev/reformat @@ -1,6 +1,7 @@ #!/bin/bash set -x +set -euo pipefail SCRIPT_DIR="$(dirname "$(realpath "$0")")" cd "$SCRIPT_DIR/.."