blob: 7efd5865c81144bd060341b10767e862d13d3c00 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/configure.py b/configure.py
index a443748..064e9df 100755
--- a/configure.py
+++ b/configure.py
@@ -657,7 +657,7 @@ n.build('all', 'phony', all_targets)
n.close()
print('wrote %s.' % BUILD_FILENAME)
-if options.bootstrap:
+if options.bootstrap and False:
print('bootstrap complete. rebuilding...')
rebuild_args = []
|
