Lines Matching refs:CONFIG_COMMANDS
12117 CONFIG_COMMANDS = $CONFIG_COMMANDS
12139 echo "config_commands=\"$ac_config_commands\"" >>$CONFIG_STATUS
13243 CONFIG_COMMANDS = $CONFIG_COMMANDS
13265 echo "config_commands=\"$ac_config_commands\"" >>$CONFIG_STATUS
14370 CONFIG_COMMANDS = $CONFIG_COMMANDS
14392 echo "config_commands=\"$ac_config_commands\"" >>$CONFIG_STATUS
