Lines Matching refs:option

673                            \$GNULIB_SRCDIR or the --gnulib-srcdir option
689    environment variable or via the --gnulib-srcdir option), then sources
697    as an environment variable or via the --gnulib-refdir option) and is
734   for option
736     case $option in
757       bootstrap_option_hook $option || die "$option: unknown option";;
1074   for option
1076     case $option in
1091       bootstrap_option_hook $option || die "$option: unknown option";;
1380                            \$GNULIB_SRCDIR or the --gnulib-srcdir option
1396    environment variable or via the --gnulib-srcdir option), then sources
1404    as an environment variable or via the --gnulib-refdir option) and is
1440 for option
1442   case $option in
1457     GNULIB_SRCDIR=${option#--gnulib-srcdir=};;
1459     GNULIB_REFDIR=${option#--gnulib-refdir=};;
1473     bootstrap_option_hook $option || die "$option: unknown option";;