summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--shell.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/shell.nix b/shell.nix
index bc14fe7d8..196a53aa1 100644
--- a/shell.nix
+++ b/shell.nix
@@ -166,7 +166,7 @@ let
eval set -- "$args"
force_populate=false
while :; do case $1 in
- --force-populate) force_populate=true; shift;;
+ --force-populate) force_populate=true; shift;;
-Q|--quiet) quiet=true; shift;;
-s|--system) system=$2; shift 2;;
-t|--target) target=$2; shift 2;;