From c7993111eb9e3ea67ff6b7ce7738b961b77a7689 Mon Sep 17 00:00:00 2001 From: Tobias Happ Date: Sat, 2 May 2020 18:18:25 +0200 Subject: [PATCH] Add --builders flag to PASSTHROUGH_OPTS --- nix-on-droid/nix-on-droid.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/nix-on-droid/nix-on-droid.sh b/nix-on-droid/nix-on-droid.sh index d40ac4b..54ff4b7 100644 --- a/nix-on-droid/nix-on-droid.sh +++ b/nix-on-droid/nix-on-droid.sh @@ -49,6 +49,7 @@ function doHelp() { echo "Options passed on to nix build" echo echo " -I|--include PATH" + echo " --builders BUILDERS" echo " --cores NUM" echo " --keep-failed" echo " --keep-going" @@ -135,7 +136,7 @@ while [[ $# -gt 0 ]]; do PASSTHROUGH_OPTS+=("$opt" "$1" "$2") shift 2 ;; - --max-jobs|--cores) + --builders|--cores|--max-jobs) PASSTHROUGH_OPTS+=("$opt" "$1") shift ;;