[test/lint] Fix build

Add comment in ProcessInit(). Not sure why we can't turn this off.
oilshell · Jan 18, 2023 · 8908f0a · 8908f0a
1 parent ba7ab0e
commit 8908f0a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/core/executor.py b/core/executor.py
@@ -4,9 +4,7 @@
 from __future__ import print_function
 
 from errno import EINTR
-import sys
 
-#from _devbuild.gen.option_asdl import builtin_i
 from _devbuild.gen.id_kind_asdl import Id
 from _devbuild.gen.option_asdl import builtin_i
 from _devbuild.gen.runtime_asdl import redirect, trace

diff --git a/mycpp/gc_mylib.cc b/mycpp/gc_mylib.cc
@@ -7,10 +7,10 @@
 namespace mylib {
 
 void ProcessInit() {
-  // Turn off buffering for now.
-  // TODO: Restore the flush() calls in 'finally'
+  // Turn off buffering of stdout for now.
+  // Note: ctx_FlushStdout() doesn't seem to be enough?
+
   setvbuf(stdout, 0, _IONBF, 0);
-  // setvbuf(stderr, 0, _IONBF, 0);
 }
 
 void writeln(Str* s, int fd = kStdout) {