diff options
| author | Chen Wang <[email protected]> | 2025-02-19 21:21:04 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-02-19 21:21:04 +0800 |
| commit | 5b6944f7fa1d60b64a3f1275da94df1c1a15944a (patch) | |
| tree | b072d611718151958d0da1da9cba31e1b2a0cafe /documentation | |
| parent | 14cfc72fb8888541019b417587044ebb06fe1531 (diff) | |
doxygen: More strict checks on build results (#10007)
Github CI doc_doxygen is very strict in checking the
build results, and will output failure even if there
are warnings.
In order to match CI's checks, local build scripts
are also checked more strictly to detect potential
errors and even warnings as early as possible.
Signed-off-by: Chen Wang <[email protected]>
Diffstat (limited to 'documentation')
| -rwxr-xr-x | documentation/run.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/documentation/run.sh b/documentation/run.sh index 35959d680b..3b7d551c3c 100755 --- a/documentation/run.sh +++ b/documentation/run.sh @@ -3,6 +3,12 @@ rm -rf ./html doxygen +if [ $? -ne 0 ]; then + echo "" + echo "OOPS: Something error/warning occurred during Doxygen building, please check it out!" + echo "" + exit 1 +fi pushd html python3 -m http.server
\ No newline at end of file |