tree 5736f526a9207dfabee056e3e8234bb8332c1619
parent 4b4f41e93d14812481b7692f89dccb1f0d609a28
author Florent Castelli <orphis@google.com> 1730724084 -0800
committer Copybara-Service <copybara-worker@google.com> 1730724134 -0800

Avoid installing options.h with the other headers

This install is conflicting with the manual one done after.
It causes spurious recompilations for users as the original file
is copied and then overwritten with each install.

Fixes #1769

PiperOrigin-RevId: 692919849
Change-Id: I2fb9c68f6e547212425d5b5ae7205bbf19b46bf4