From 0501d82d77f4339fb109cea8ca6624adf1d09abf Mon Sep 17 00:00:00 2001 From: Junxiao Shi Date: Wed, 10 Jan 2024 22:31:50 -0500 Subject: [PATCH] docs: build script correction --- docs/build.sh | 2 +- mk/format-code.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/build.sh b/docs/build.sh index b6acf51..8402815 100755 --- a/docs/build.sh +++ b/docs/build.sh @@ -4,5 +4,5 @@ cd "$( dirname "${BASH_SOURCE[0]}" )" doxygen Doxyfile 2>&1 | ./filter-Doxygen-warning.awk 1>&2 -find html -name '*.html' | xargs sed -i '/<\/head>/ i\' +find html -name '*.html' | xargs sed -i '/<\/head>/ i\' cp _redirects html/ diff --git a/mk/format-code.sh b/mk/format-code.sh index 03b75ec..0c3e18d 100755 --- a/mk/format-code.sh +++ b/mk/format-code.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -eo pipefail +set -euo pipefail cd "$( dirname "${BASH_SOURCE[0]}" )"/.. find -name '*.h' -or -name '*.[hc]pp' -or -name '*.ino' | \