Lines Matching refs:ac_config_files
6138 ac_config_files="$ac_config_files Makefile stage1/Makefile stage2/Makefile docs/Makefile lib/Makefile util/Makefile grub/Makefile netboot/Makefile util/grub-image util/grub-install util/grub-md5-crypt util/grub-terminfo util/grub-set-default"
6587 if test -n "$ac_config_files"; then
6588 echo "config_files=\"$ac_config_files\"" >>$CONFIG_STATUS
