1 files changed, 2 insertions, 0 deletions
diff --git a/configure.py b/configure.py
index 99bc8f5e1..26589b281 100755
--- a/configure.py
+++ b/configure.py
@@ -1178,6 +1178,8 @@ def gen_makefile_lists(var, build_config, options, modules, cc, arch, osinfo):
                 parts = parts[parts.index('tests')+2:]
             elif 'cli' in parts:
                 parts = parts[parts.index('cli'):]
+            elif file.find('botan_all') != -1:
+                parts = []
             else:
                 raise Exception("Unexpected file '%s/%s'" % (dir, file))