Explorar o código

Fix missing find/replace of backslash in bootstrap generation for Windows

Yentl Van Tendeloo %!s(int64=7) %!d(string=hai) anos
pai
achega
68446e7653
Modificáronse 2 ficheiros con 1 adicións e 0 borrados
  1. BIN=BIN
      bootstrap/bootstrap.m.gz
  2. 1 0
      bootstrap/bootstrap.py

BIN=BIN
bootstrap/bootstrap.m.gz


+ 1 - 0
bootstrap/bootstrap.py

@@ -230,6 +230,7 @@ def bootstrap():
 
                 first = True
                 for bootstrap_file in [primitive_file] + [i for i in bootstrap_files if i not in [main_file, primitive_file]]:
+                    bootstrap_file = bootstrap_file.replace("\\", "/")
                     f.write('Node _if_%s(if)\n' % counter, both=False)
                     f.write('Dict (_if_%s, "cond", true)\n' % counter, both=False)
                     f.write('Dict (_if_%s, "then", %s_initial_IP)\n' % (counter, bootstrap_file), both=False)