tree f72b76009b5b112d739005faddd855c50cf5b9b7
parent b498a4c805e5de9a190b97c91ac7a166b421b31f
author Elyes Haouas <ehaouas@noos.fr> 1716979917 +0200
committer Martin L Roth <gaumless@gmail.com> 1717806199 +0000

tree: Remove unused <option.h>

Change-Id: Ia3df14ebd365c00902b5d2ba300d8ade4c2d6c26
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/82690
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Sean Rhodes <sean@starlabs.systems>