php:
	$(call script_force,$@)