備忘録がわりに。
FreeBSDのportsでインストールされるパッケージの中には、メニューでオプションを設定できるものがある。んで、間違ったオプションを設定してうまくビルドできない、 make clean
しても設定が変わらない、どうしよう。
いまさっきそういう事態になった(笑、えない)。あれこれ調べた結果、上記のコマンドで再帰的に設定をクリアできることが分った。
ちなみに、portsのオプションに付いては、 /usr/ports/Mk/bsd.ports.mk で設定されているので、困ったときはこれを眺めるべし。