diff options
author | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2019-06-14 23:19:08 +0300 |
---|---|---|
committer | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2019-06-14 23:19:08 +0300 |
commit | 56a0e736c79906fd3f231ab72c3c07ce22722fca (patch) | |
tree | 50ff698410e9ddfcd3776d96503d511aaa30dd03 /Makefile.in | |
parent | Warn about 'service_url' option during config transformation (diff) |
Accept output argument in tools/opt_types.sh
Diffstat (limited to '')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index ca20ffc3..0f933ad4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -123,7 +123,7 @@ hooks: all tools/hook_deps.sh ebin options: all - tools/opt_types.sh ebin + tools/opt_types.sh ejabberd_option ebin translations: tools/prepare-tr.sh |