nix-community/nix-on-droid
1
0
Fork 0
mirror of https://github.com/nix-community/nix-on-droid.git synced 2025-11-08 19:46:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge 8e0b8df6e2 into 1c306c07b3

Browse source
This commit is contained in:
ash 2025-10-18 20:26:49 +00:00 • committed by GitHub
commit 397763594a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
nix-on-droid/nix-on-droid.sh
View file

@ -69,6 +69,7 @@ function doHelp() {
echo " --max-jobs NUM" echo " --max-jobs NUM"
echo " --option NAME VALUE" echo " --option NAME VALUE"
echo " --override-input INPUT URL" echo " --override-input INPUT URL"
echo " --log-format"
echo " --show-trace" echo " --show-trace"
echo echo
echo "Commands" echo "Commands"
@ -167,7 +168,7 @@ while [[ $# -gt 0 ]]; do
PASSTHROUGH_OPTS+=("$opt" "$1" "$2") PASSTHROUGH_OPTS+=("$opt" "$1" "$2")
shift 2 shift 2
;; ;;
--builders|--cores|--max-jobs) --builders|--cores|--max-jobs|--log-format)
PASSTHROUGH_OPTS+=("$opt" "$1") PASSTHROUGH_OPTS+=("$opt" "$1")
shift shift
;; ;;