#
# Config options for config.flavour.ia64 automatically generated by splitconfig.pl
#