tree 3d1343d4da4587bc11df33cb9abbb94e59f5c223
parent d7bd000ad725998a71aa2521095bb2012f86b11e
author Fangrui Song <i@maskray.me> 1612977433 -0800
committer Copybara-Service <copybara-worker@google.com> 1613736283 -0800

[Polly] Fix -DPOLLY_ENABLE_GPGPU_CODEGEN=off build after 222d380d2f57cc71bb613b5c01ecf17cd1f61fa2

GitOrigin-RevId: 89e257bd629d07211078cc32bbe39d33d5752fdb