Home | History | Annotate | Download | only in grub

Lines Matching refs:config_commands

6578   CONFIG_COMMANDS = $CONFIG_COMMANDS
6600 echo "config_commands=\"$ac_config_commands\"" >>$CONFIG_STATUS
6628 $config_commands
6758 "depfiles" ) CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;;
6773 test "${CONFIG_COMMANDS+set}" = set || CONFIG_COMMANDS=$config_commands
7411 # CONFIG_COMMANDS section.
7413 for ac_file in : $CONFIG_COMMANDS; do test "x$ac_file" = x: && continue