diff options
| author | Sergey Poznyakoff <gray@gnu.org> | 2021-02-12 11:18:43 +0200 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org> | 2021-02-12 11:18:43 +0200 |
| commit | 4379433f23d663e4aa142089221f7ff2bc234e1b (patch) | |
| tree | 977985e35e3097ead39f820f464b3f88d8b32b04 /src/piesctl-cl.opt | |
| parent | c3ee8d97ea8a427abd455c903157da94623e83dd (diff) | |
| download | pies-4379433f23d663e4aa142089221f7ff2bc234e1b.tar.gz pies-4379433f23d663e4aa142089221f7ff2bc234e1b.tar.bz2 | |
Fix preprocessor use and config file precedence in piesctl
* NEWS: Document changes.
* doc/pies.texi: Document changes.
* src/cmdline.opt: Don't set preprocessor if DEFAULT_PREPROCESSOR
is NULL.
* src/piesctl-cl.opt: New options: --preprocessor,
--no-preprocessor.
* src/piesctl.c (parse_config): If either client.url or
default_url is set in the program-specific config, use it
and don't parse pies.conf. This is consistent with the
documented behavior.
(main): Initialize grecs_preprocessor.
Diffstat (limited to 'src/piesctl-cl.opt')
| -rw-r--r-- | src/piesctl-cl.opt | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/piesctl-cl.opt b/src/piesctl-cl.opt index ea71d59..8a72703 100644 --- a/src/piesctl-cl.opt +++ b/src/piesctl-cl.opt @@ -77,6 +77,19 @@ END GROUP(Preprocessor) +OPTION(preprocessor,,COMMAND, + [<use COMMAND instead of the default preprocessor>]) +BEGIN + if (DEFAULT_PREPROCESSOR) + grecs_preprocessor = optarg; +END + +OPTION(no-preprocessor,,, + [<disable preprocessing>]) +BEGIN + grecs_preprocessor = NULL; +END + OPTION(include-directory,I,DIR, [<add include directory>]) BEGIN @@ -95,6 +108,7 @@ BEGIN pp_add_option ("-U", optarg); END + OPTIONS_END void |