projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47ea804) | patch
isl_ctx_peek_options: special case isl_options_args
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 1 Jan 2012 17:00:49 +0000 (18:00 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 1 Jan 2012 17:00:49 +0000 (18:00 +0100)
commit46153fb09b428f2cd7461674c1d1a1295185a856
tree525fd17ff66c57c0b9c86b552f1559dbf84ae5e5tree | snapshot
parent47ea804fa3a816a9e28e235aed04512cb45cfc3acommit | diff
isl_ctx_peek_options: special case isl_options_args

The isl_options_args options are always available, even
when they do not appear in ctx->user_opt.
Just return them instead of looking through ctx->user_opt.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ctx.c diff | blob | history
Domain: System / Uncategorized;