demos: disable PREPATCHED by default

tum-ei-eda · Mar 28, 2024 · 2633669 · 2633669
1 parent 6631b40
commit 2633669
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/examples/corev_demo.py b/examples/corev_demo.py
@@ -34,7 +34,7 @@
 FAST = bool(int(os.environ.get("FAST", 1)))
 SKIP_PATTERNS = bool(int(os.environ.get("SKIP_PATTERNS", 0)))
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
-PREPATCHED = bool(int(os.environ.get("PREPATCHED", 1)))
+PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
 
 

diff --git a/examples/demo.py b/examples/demo.py
@@ -35,7 +35,7 @@
 FAST = bool(int(os.environ.get("FAST", 1)))
 SKIP_PATTERNS = bool(int(os.environ.get("SKIP_PATTERNS", 0)))
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
-PREPATCHED = bool(int(os.environ.get("PREPATCHED", 1)))
+PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
 
 

diff --git a/examples/gen_demo.py b/examples/gen_demo.py
@@ -35,7 +35,7 @@
 FAST = bool(int(os.environ.get("FAST", 1)))
 SKIP_PATTERNS = bool(int(os.environ.get("SKIP_PATTERNS", 0)))
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
-PREPATCHED = bool(int(os.environ.get("PREPATCHED", 1)))
+PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
 
 

diff --git a/examples/s4e_demo.py b/examples/s4e_demo.py
@@ -35,7 +35,7 @@
 FAST = bool(int(os.environ.get("FAST", 1)))
 SKIP_PATTERNS = bool(int(os.environ.get("SKIP_PATTERNS", 0)))
 INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
-PREPATCHED = bool(int(os.environ.get("PREPATCHED", 1)))
+PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
 BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")