"support/librarian/Makefile") CONFIG_FILES="$CONFIG_FILES support/librarian/Makefile" ;;
"support/makebin/Makefile") CONFIG_FILES="$CONFIG_FILES support/makebin/Makefile" ;;
"support/regression/Makefile") CONFIG_FILES="$CONFIG_FILES support/regression/Makefile" ;;
"support/librarian/Makefile") CONFIG_FILES="$CONFIG_FILES support/librarian/Makefile" ;;
"support/makebin/Makefile") CONFIG_FILES="$CONFIG_FILES support/makebin/Makefile" ;;
"support/regression/Makefile") CONFIG_FILES="$CONFIG_FILES support/regression/Makefile" ;;