isl_options_parse: only parse known options by default
commit9a9400dd027a391c3d6259a2fd155a189237c806
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 10 Apr 2010 15:54:28 +0000 (10 17:54 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 10 Apr 2010 15:54:28 +0000 (10 17:54 +0200)
treed00d671f9003ea40a729fbc0d18bd80b3e0e54d5
parent94a70c9c2ad985d9e55499c8759fdce7ca668670
isl_options_parse: only parse known options by default

That is, only barf on unknown options when the user explicitly
asks for this behavior.
cat.c
closure.c
include/isl_arg.h
isl_arg.c
pip.c