| commit | e956b31526866014f3cba6bf8f93982ecce487c7 | [log] [tgz] |
|---|---|---|
| author | Daniel Cashman <dcashman@google.com> | Tue Jun 23 17:30:55 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Jun 23 17:30:56 2015 +0000 |
| tree | 045f981c7d26700c6f02bb03c6e7f36117ae4707 | |
| parent | 31d88a704ecd16d67633ee8d46370b282c67bfbc [diff] | |
| parent | f26b6d427cce74bf22e3a45e2fcbe3f3bab6441c [diff] |
Merge "drop unused option -s"
diff --git a/tools/check_seapp.c b/tools/check_seapp.c index 8ff5c50..45e6be0 100644 --- a/tools/check_seapp.c +++ b/tools/check_seapp.c
@@ -689,7 +689,7 @@ int c; int num_of_args; - while ((c = getopt(argc, argv, "ho:p:sv")) != -1) { + while ((c = getopt(argc, argv, "ho:p:v")) != -1) { switch (c) { case 'h': usage();