tree 51d9fbfe91d4afb60acd6c12f547200a794fded8
parent 7d20ab9f470e9af2743cb5411d2cc9a283188cbb
author Leo (Liang) Zhao <leolzhao@tencent.com> 1680056653 +0000
committer Urvang Joshi <urvang@google.com> 1680056653 +0000

Fix building errors when enhanced skip mode is off

For issue #141.