csu3_am335x/EVSE/GPL/php-8.1.12/build/print_include.awk

/phpext_/ {
	if (old_filename != FILENAME) {
		printf "#include \"" FILENAME "\"@NEWLINE@"
		old_filename = FILENAME
	}
}