gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-20 18:22:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make page processor print usage only after reporting all bad opts

Browse Source
This commit is contained in:
ISSOtm
2020-10-23 00:40:05 +02:00
parent 7e1d20acdf
commit 12dc49b60a
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/actions/get-pages.sh vendored
View File

@@ -26,14 +26,12 @@ while getopts ":hr" opt; do
;; ;;
\?) \?)
echo "Unknown option '$OPTARG'" echo "Unknown option '$OPTARG'"
if [ $bad_usage -eq 0 ]; then bad_usage=1
usage
bad_usage=1
fi
;; ;;
esac esac
done done
if [ $bad_usage -ne 0 ]; then if [ $bad_usage -ne 0 ]; then
usage
exit 1 exit 1
fi fi
shift $(($OPTIND - 1)) shift $(($OPTIND - 1))