ChillerDragon/teeworlds_network
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

shellcheck

Browse source
This commit is contained in:
ChillerDragon 2023-09-17 13:54:24 +02:00
parent 11fa7308f0
commit f4e58619c5
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scripts/update_docs_index.sh
View file

@ -53,7 +53,12 @@ function gen_doc_index() {
mv "$tmpfile" "$index_file"
return
fi
local diff="$(diff "$tmpfile" "$index_file")"
local diff
if ! diff="$(diff "$tmpfile" "$index_file")"
then
echo "Error: failed to check diff"
exit 1
fi
if [ "$diff" != "" ]
then
echo "Error: documentation index is not up to date"