
all:
	php ../../../bin/gen_constants.php php53.constants.php > constants.php
