settings: disable sparse_checkout of patterngen as it needs newer git…

… release (unavailable on ubuntu 20.04)
tum-ei-eda · Aug 22, 2024 · 3cb29fe · 3cb29fe
1 parent 082e9ef
commit 3cb29fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seal5/settings.py b/seal5/settings.py
@@ -155,7 +155,7 @@
             "ref": None,
             # "clone_depth": None,
             "clone_depth": 1,
-            "sparse_checkout": True,
+            "sparse_checkout": False,
         },
     },
 }