アプリ版:「スタンプのみでお礼する」機能のリリースについて

freebsd6.1を使っていますが
/usr/ports/***
から make すると、オプションがGUI的な画面で
選択させられるモノもありますが、これははじめの1回だけで
それ以降は選択できません。

どのファイルを参照しているのかわかりません。
Makefile でもなさそうですし…
教えてください。

A 回答 (1件)

○現在設定されているオプション内容の表示


make showconfig

○現在設定されているオプションの破棄
make rmconfig

ですので、make rmconfigしてからmakeすると再度オプション設定が出来ると思います。

ちなみに、設定したオプションの内容は/var/db/portsディレクトリにPorts毎にディレクトリが存在し、そのPorts毎のディレクトリ内のoptionsというファイルに格納されています。
ですので、このファイルの削除でも構いません、実際、make rmconfigでもこのファイルの削除ですから。
    • good
    • 0
この回答へのお礼

ありがとうございます。
思った通りにできました。

お礼日時:2007/01/09 10:17

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!