diff options
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') |