From 91ac1280b36cd97b6c5a65cd4597273e4fb4485d Mon Sep 17 00:00:00 2001
From: Anmol Sethi <anmol@terrastruct.com>
Date: Thu, 1 Dec 2022 09:37:20 -0800
Subject: [PATCH] ci/fmt.sh: More efficient

---
 ci/fmt.sh | 4 +++-
 ci/sub    | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/ci/fmt.sh b/ci/fmt.sh
index 04038462d..75c1f1924 100755
--- a/ci/fmt.sh
+++ b/ci/fmt.sh
@@ -3,5 +3,7 @@ set -eu
 . "$(dirname "$0")/sub/lib.sh"
 cd -- "$(dirname "$0")/.."
 
-sh_c tocsubst --skip 1 README.md
+if is_changed README.md; then
+  sh_c tocsubst --skip 1 README.md
+fi
 ./ci/sub/fmt/make.sh
diff --git a/ci/sub b/ci/sub
index a39a67857..e894a489a 160000
--- a/ci/sub
+++ b/ci/sub
@@ -1 +1 @@
-Subproject commit a39a678570a0454d6bf63f9012fb5ec107e24df5
+Subproject commit e894a489abaead7314a3f126cdb32f18b272a23f