Browse Source

Merge branch '0.2'

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

+ 0 - 3
tools/amalgamate.py

@@ -69,9 +69,6 @@ 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()
-                os.fsync(file.fileno())
         print ("done."),
 
 if not is_c: