isl_map_card: reuse barvinok_options if available in context
commitfc2f87e947e3fc79cd8e21ce67b1117607174e64
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 26 Aug 2010 14:44:38 +0000 (26 16:44 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 26 Aug 2010 15:48:50 +0000 (26 17:48 +0200)
tree143d9cfdb7b00d187eea4568a6aafc6d098a8826
parentc3bd12664cf7d91ba58e6edcaa428869597ebcfe
isl_map_card: reuse barvinok_options if available in context

This allows barvinok options to be set on the iscc command line.
barvinok.cc