X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=src%2Fcomet2.c;fp=src%2Fcomet2.c;h=73669a79bf5ffb2206e68c7dda16cca0dc90a222;hp=1bef35e003fff4779110afca31e260aa2d31776a;hb=a77e8363f86dfc38838990a174486166b7c5cbf2;hpb=0ed6def2453cd131366e5fa1dca9a726d7f5fe3e

diff --git a/src/comet2.c b/src/comet2.c
index 1bef35e..73669a7 100644
--- a/src/comet2.c
+++ b/src/comet2.c
@@ -9,6 +9,7 @@ static struct option longopts[] = {
     {"tracearithmetic", no_argument, NULL, 't'},
     {"tracelogical", no_argument, NULL, 'T'},
     {"dump", no_argument, NULL, 'd'},
+    {"debug", no_argument, NULL, 'b'},
     {"memorysize", required_argument, NULL, 'M'},
     {"clocks", required_argument, NULL, 'C'},
     { "version", no_argument, NULL, 'v' },
@@ -29,7 +30,7 @@ int main(int argc, char *argv[])
     int memsize = DEFAULT_MEMSIZE, clocks = DEFAULT_CLOCKS;
     int opt, stat = 0;
     const char *version = PACKAGE_VERSION,  *cmdversion = "comet2 of YACASL2 version %s\n";
-    const char *usage = "Usage: %s [-tTdvh] [-M <MEMORYSIZE>] [-C <CLOCKS>] FILE\n";
+    const char *usage = "Usage: %s [-btTdvh] [-M <MEMORYSIZE>] [-C <CLOCKS>] FILE\n";
 
     cerr_init();
     addcerrlist_load();
@@ -48,6 +49,9 @@ int main(int argc, char *argv[])
         case 'd':
             execmode.dump = true;
             break;
+        case 'b':
+            execmode.debugger = true;
+            break;
         case 'M':
             memsize = atoi(optarg);
             break;