eggtypebuiltins.h: stamp-eggtypebuiltins.h
	@true

stamp-eggtypebuiltins.h:
	echo "timestamp" >stamp-eggtypebuiltins.h