diff options
author | Steve Slaven <bpk@hoopajoo.net> | 2023-01-24 06:09:35 (GMT) |
---|---|---|
committer | Steve Slaven <bpk@hoopajoo.net> | 2023-01-24 06:09:35 (GMT) |
commit | 76f433d408da25e3291c4f4d47f8e60428a3e2e6 (patch) | |
tree | ebbb688a90313a59788d136b868d7f3b77ec228a /src/main.c | |
parent | 57cc8e95ac7f96ff6eae17b46edc60b01f2d0e0a (diff) | |
download | powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.zip powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.tar.gz powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.tar.bz2 |
add --prove
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -89,6 +89,7 @@ extern int select(); #include "tty.h" #include "eval.h" #include "log.h" +#include "prove.h" /* local function declarations */ #ifdef MOTDFILE @@ -344,6 +345,11 @@ under certain conditions; type \"#help copyright\" for details.\n" ); } + if (argc == 2 && strcmp(argv[1], "--prove") == 0) { + prove(); + exit(0); + } + if (argc == 1 || argc == 3) { tty_add_initial_binds(); tty_add_walk_binds(); |