diff options
Diffstat (limited to 'platform/linux/wscript')
| -rw-r--r-- | platform/linux/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/linux/wscript b/platform/linux/wscript index 98aff905d..4a3516fd0 100644 --- a/platform/linux/wscript +++ b/platform/linux/wscript @@ -16,6 +16,7 @@ def build(bld): desktop(bld, '_playlist'), desktop(bld, '_combiner'), desktop(bld, '_editor'), + desktop(bld, '_verifier'), ] if bld.env.ENABLE_DISK: |