diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-04-20 10:39:19 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-04-20 10:39:19 +0300 |
commit | 67dce06bb26798e2b11ee0883bdc7e08d7edb663 (patch) | |
tree | 3f3655179dded2bbdd16c411d3f0558fe4515bf9 /src/cmdline.opt | |
parent | 347387193da605922ed98742dbc7fa3f67a908f4 (diff) | |
download | eclat-67dce06bb26798e2b11ee0883bdc7e08d7edb663.tar.gz eclat-67dce06bb26798e2b11ee0883bdc7e08d7edb663.tar.bz2 |
Major rewrite. Provide short names for each command.
Diffstat (limited to 'src/cmdline.opt')
-rw-r--r-- | src/cmdline.opt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/cmdline.opt b/src/cmdline.opt index 23a0858..05e3e8a 100644 --- a/src/cmdline.opt +++ b/src/cmdline.opt @@ -187,6 +187,13 @@ BEGIN translate_option = 1; END +OPTION(list-commands,l,FMT, + [<list commands using the supplied format>]) +BEGIN + listcmd(optarg); + exit(0); +END + GROUP(Preprocessor control) OPTION(include-directory,I,DIR, |