前の日 / 次の日 / 最新 / 2012-05

XINUJP - ChangeWebLog / 2012-05-02

01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

2019 : 01 02 03 04 05 06 07 08 09 10 11 12
2018 : 01 02 03 04 05 06 07 08 09 10 11 12
2017 : 01 02 03 04 05 06 07 08 09 10 11 12
2016 : 01 02 03 04 05 06 07 08 09 10 11 12
2015 : 01 02 03 04 05 06 07 08 09 10 11 12
2014 : 01 02 03 04 05 06 07 08 09 10 11 12
2013 : 01 02 03 04 05 06 07 08 09 10 11 12
2012 : 01 02 03 04 05 06 07 08 09 10 11 12
2011 : 01 02 03 04 05 06 07 08 09 10 11 12
2010 : 01 02 03 04 05 06 07 08 09 10 11 12
2009 : 01 02 03 04 05 06 07 08 09 10 11 12
2008 : 01 02 03 04 05 06 07 08 09 10 11 12
2007 : 01 02 03 04 05 06 07 08 09 10 11 12

2012-05-02 Wed

ports make config [freebsd]

ports で make する場合の option 変更

- 最初はフツーの make で option 選択画面が表示される(default にマークつき)。

# make


- しかし、2回目以降の make では、初回の option がそのまま引き継がれてしまい make しても option 選択画面は表示されない。

- option 選択画面の表示と再設定

# make config
# make
(make 実行)


- 現在の option を表示

# make show config
(現在の option がテキストで表示)


- option 指定を初期化

# make rmconfig
# make
(option 選択画面が default で表示)

最終更新時間: 2019-08-15 09:35