1 files changed, 2 insertions, 0 deletions
diff --git a/src/wscript b/src/wscript
index 1be0cc78..8be5b7ed 100644
--- a/src/wscript
+++ b/src/wscript
@@ -99,6 +99,7 @@ def build(bld):
              transfer_function.cc
              types.cc
              util.cc
+             verify.cc
              version.cc
              """
 
@@ -175,6 +176,7 @@ def build(bld):
               transfer_function.h
               types.h
               util.h
+              verify.h
               version.h
               """