From 6256dd804023cafaf65a420f9fb9d04f47c16639 Mon Sep 17 00:00:00 2001 From: Larry Doolittle Date: Fri, 25 Jan 2008 11:16:44 -0800 Subject: [PATCH] Add support for ivl debug flags. --- driver/main.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/driver/main.c b/driver/main.c index fef113edd..3b245b1e7 100644 --- a/driver/main.c +++ b/driver/main.c @@ -593,7 +593,7 @@ int main(int argc, char **argv) } } - while ((opt = getopt(argc, argv, "B:c:D:Ef:g:hI:M:m:N::o:p:Ss:T:t:vVW:y:Y:")) != EOF) { + while ((opt = getopt(argc, argv, "B:c:D:d:Ef:g:hI:M:m:N::o:p:Ss:T:t:vVW:y:Y:")) != EOF) { switch (opt) { case 'B': @@ -620,6 +620,9 @@ int main(int argc, char **argv) case 'p': fprintf(iconfig_file, "flag:%s\n", optarg); break; + case 'd': + fprintf(iconfig_file, "debug:%s\n", optarg); + break; case 'g': rc = process_generation(optarg);