1 files changed, 2 insertions, 1 deletions
diff --git a/wscript b/wscript
index 7a3aff8a9a..558eb177db 100644
--- a/wscript
+++ b/wscript
@@ -37,7 +37,8 @@ children = [
         'export',
         'midi_maps',
         'mcp',
-        'manual'
+        'manual',
+        'patchfiles'
 ]
 
 i18n_children = [