diff options
Diffstat (limited to 'src/tools/wscript')
| -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 e6d7c4be1..45ce81533 100644 --- a/src/tools/wscript +++ b/src/tools/wscript @@ -180,6 +180,7 @@ def pot(bld): dcpomatic_player.cc dcpomatic_playlist.cc dcpomatic_server.cc + dcpomatic_verifier.cc """ i18n.pot(os.path.join('src', 'tools'), cc, 'dcpomatic') |