extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2025-02-12 15:19:12 +01:00
Code Issues Packages Projects Releases Wiki Activity

build: Add more '--no-*' options

Browse Source
This commit is contained in:
Ethan P 2022-07-29 14:01:55 -07:00
parent 10d976da55
commit ad2d788d6c
No known key found for this signature in database
GPG Key ID: 1BA2A0CC7C22B854
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build.sh
View File

@ -382,8 +382,11 @@ while shiftopt; do
--compress) OPT_COMPRESS=true ;;
--manuals) OPT_MANUALS="${OPT_VAL:-true}" ;;
--no-manuals) OPT_MANUALS=false ;;
--verify) OPT_VERIFY=true ;;
--no-verify) OPT_VERIFY=false ;;
--banner) OPT_BANNER=true ;;
--no-banner) OPT_BANNER=false ;;
--inline) OPT_INLINE=true ;;
--no-inline) OPT_INLINE=false ;;
--prefix) shiftval; OPT_PREFIX="$OPT_VAL" ;;
--alternate-executable) shiftval; OPT_BAT="$OPT_VAL" ;;