diff options
-rwxr-xr-x | boot | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -138,7 +138,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_ != '.': + # Update config.sub in submodules + if dir_ != '.' and os.path.isfile(os.path.join(dir_, 'config.sub')): shutil.copyfile('config.sub', os.path.join(dir_, 'config.sub')) processes[dir_] = subprocess.Popen(['sh', '-c', reconf_cmd], cwd=dir_) |