diff options
| author | Carl Hetherington <cth@carlh.net> | 2024-04-09 02:02:28 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2024-04-17 09:36:45 +0200 |
| commit | af20e21e2363f7c4d5f7031c444984f383c26914 (patch) | |
| tree | 072277c1a9c48d81367384d0c0f4a3ae356ce54e /src/tools/wscript | |
| parent | 39960bc88eee794ade1a73b00523e749945b9eab (diff) | |
Separate GUI verifier with basic reporting (#1823).
Diffstat (limited to 'src/tools/wscript')
| -rw-r--r-- | src/tools/wscript | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/tools/wscript b/src/tools/wscript index c3b2b5fe0..65e4d0e4c 100644 --- a/src/tools/wscript +++ b/src/tools/wscript @@ -62,7 +62,15 @@ def build(bld): gui_tools = [] if not bld.env.DISABLE_GUI: - gui_tools = ['dcpomatic', 'dcpomatic_batch', 'dcpomatic_server', 'dcpomatic_kdm', 'dcpomatic_player', 'dcpomatic_playlist', 'dcpomatic_combiner', 'dcpomatic_editor'] + gui_tools = ['dcpomatic', + 'dcpomatic_batch', + 'dcpomatic_server', + 'dcpomatic_kdm', + 'dcpomatic_player', + 'dcpomatic_playlist', + 'dcpomatic_combiner', + 'dcpomatic_editor', + 'dcpomatic_verifier'] if bld.env.ENABLE_DISK: gui_tools.append('dcpomatic_disk') |