summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMoritz Angermann <moritz.angermann@gmail.com>2021-02-19 10:01:20 +0800
committerMoritz Angermann <moritz.angermann@gmail.com>2021-02-19 10:48:52 +0800
commitab571457b9960cc05d46d3ae6a3796e760766750 (patch)
tree342babb7aaf56a3567e381b264aefbb2dfb308a6
parent2e779d781e7fc15c258e87224ae95efdd452ffa3 (diff)
downloadhaskell-ab571457b9960cc05d46d3ae6a3796e760766750.tar.gz
[ci/build] Copy config.sub aroundwip/angerman/fix-windows
-rwxr-xr-xboot3
1 files changed, 3 insertions, 0 deletions
diff --git a/boot b/boot
index 04dec14314..213a5b1a30 100755
--- a/boot
+++ b/boot
@@ -8,6 +8,7 @@ import argparse
from textwrap import dedent
import subprocess
import re
+import shutil
cwd = os.getcwd()
@@ -172,6 +173,8 @@ def autoreconf():
for dir_ in ['.'] + glob.glob('libraries/*/'):
if os.path.isfile(os.path.join(dir_, 'configure.ac')):
print("Booting %s" % dir_)
+ if dir_ != '.':
+ shutil.copyfile('config.sub', os.path.join(dir_, 'config.sub'))
processes[dir_] = subprocess.Popen(['sh', '-c', reconf_cmd], cwd=dir_)
# Wait for all child processes to finish.