tree 0f64c53f98216b3ad036c15be6e28b6fca5b7ba4
parent 06dc430dea6ecd7be5dfbfcf03f7caae66a7e4a6
author Fangrui Song <maskray@google.com> 1590618550 -0700
committer Copybara-Service <copybara-worker@google.com> 1603462400 -0700

[CMake] Revert cf86a234ba86acf0bb875e21d27833be36e08be4

It is unnecessary after 993bbaf6a35baed4ad3d8422a76c4311140641a8

GitOrigin-RevId: be6bffe7293c63ec874aaf21b4f768dd3f77380a