Browse Source

Merge branch '0.2'

Julius Pfrommer 7 years ago
parent
commit
cc8cab755b
1 changed files with 2 additions and 0 deletions
  1. 2 0
      tools/amalgamate.py

+ 2 - 0
tools/amalgamate.py

@@ -69,6 +69,8 @@ for fname in args.inputs:
             guard_res = guard_re.match(line)
             if not inc_res and not guard_res:
                 file.write(line)
+                # Ensure file is written to disk.
+                file.flush()
         print ("done."),
 
 if not is_c: