diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/wscript b/src/tools/wscript index 2188e5deb..10a0793e1 100644 --- a/src/tools/wscript +++ b/src/tools/wscript @@ -32,6 +32,7 @@ def description(tool, variant): 'dcpomatic_player': 'DCP-o-matic Player', 'dcpomatic_playlist': 'DCP-o-matic Playlist Editor', 'dcpomatic_combiner': 'DCP-o-matic Combiner', + 'dcpomatic_verifier': 'DCP-o-matic Verifier', } return descriptions[tool] if tool in descriptions else tool |