/home/uke/oil/../oils.DEPS/bin/python3 [1/4] cxx dbg '' cpp/frontend_match.cc _build/obj/cxx-dbg/cpp/frontend_match.o [2/4] cxx dbg '' _gen/bin/oils_for_unix.mycpp.cc _build/obj/cxx-dbg/_gen/bin/oils_for_unix.mycpp.o FAILED: _build/obj/cxx-dbg/_gen/bin/oils_for_unix.mycpp.o build/ninja-rules-cpp.sh compile_one cxx dbg '' _gen/bin/oils_for_unix.mycpp.cc _build/obj/cxx-dbg/_gen/bin/oils_for_unix.mycpp.o _build/obj/cxx-dbg/_gen/bin/oils_for_unix.mycpp.o.d _gen/bin/oils_for_unix.mycpp.cc: In function ‘void main_loop::_UpdateTerminalSize(state::Mem*, void*)’: _gen/bin/oils_for_unix.mycpp.cc:25937:33: error: ‘GetTerminalSize’ is not a member of ‘pyos’ 25937 | Tuple2 tup0 = pyos::GetTerminalSize(); | ^~~~~~~~~~~~~~~ _gen/bin/oils_for_unix.mycpp.cc:25947:5: error: ‘void*’ is not a pointer-to-object type 25947 | readline->resize_terminal(); | ^~~~~~~~ _gen/bin/oils_for_unix.mycpp.cc: In function ‘void shell::_UpdateTerminalSize(state::Mem*)’: _gen/bin/oils_for_unix.mycpp.cc:58124:33: error: ‘GetTerminalSize’ is not a member of ‘pyos’ 58124 | Tuple2 tup0 = pyos::GetTerminalSize(); | ^~~~~~~~~~~~~~~ ninja: build stopped: subcommand failed.