diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2009-02-17 00:05:52 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2009-02-17 00:05:52 +0200 |
commit | bc7a0995aa12734f103852a4058ecc55b4b6a70d (patch) | |
tree | 65b76a7ec7fc0ce0d30dcd4969a3dc883e612514 /src/cmdline.opt | |
parent | 6cfe6f8fe1b7506e772403fecc9d7298fc52dc74 (diff) | |
download | wydawca-bc7a0995aa12734f103852a4058ecc55b4b6a70d.tar.gz wydawca-bc7a0995aa12734f103852a4058ecc55b4b6a70d.tar.bz2 |
Add missing options
Diffstat (limited to 'src/cmdline.opt')
-rw-r--r-- | src/cmdline.opt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cmdline.opt b/src/cmdline.opt index ddffe33..5b3ed22 100644 --- a/src/cmdline.opt +++ b/src/cmdline.opt @@ -33,11 +33,13 @@ END OPTION(stderr,e,, [<log to stderr>]) BEGIN + log_to_stderr = 1; END OPTION(debug,d,, [<increase debugging level>]) BEGIN + debug_level++; END OPTION(include-directory,I,[DIR], |