ci/fmt.sh: More efficient

This commit is contained in:
Anmol Sethi 2022-12-01 09:37:20 -08:00
parent b81647e7e3
commit 91ac1280b3
No known key found for this signature in database
GPG key ID: 25BC68888A99A8BA
2 changed files with 4 additions and 2 deletions

View file

@ -3,5 +3,7 @@ set -eu
. "$(dirname "$0")/sub/lib.sh" . "$(dirname "$0")/sub/lib.sh"
cd -- "$(dirname "$0")/.." 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 ./ci/sub/fmt/make.sh

2
ci/sub

@ -1 +1 @@
Subproject commit a39a678570a0454d6bf63f9012fb5ec107e24df5 Subproject commit e894a489abaead7314a3f126cdb32f18b272a23f