commit 74d54021edbff0dac8f0d27db42135fbb47df1aa
author Matt Venn <matt@mattvenn.net> Tue Nov 22 16:17:51 2022 +0100
committer Matt Venn <matt@mattvenn.net> Tue Nov 22 16:17:51 2022 +0100
tree f016f056010ce4c9c20a2db579188262d18610a8
parent b43defc6f9acf46adbc6e748da8360a0f6ceb2ea

actually fix index bug

configure.py

diff --git a/configure.py b/configure.py
index 14ffa17..7a37659 100755
--- a/configure.py
+++ b/configure.py
@@ -48,7 +48,7 @@
         filler = False
         filler_id = 0
         for index in range(args.limit_num_projects):
-            if args.single != index:
+            if args.single >= 0 and args.single != index:
                 continue
 
             try: