portconf vs. options

[Radek Krejča]

> Ja ke vsem volanim "make" pridavam:
> 
> OPTIONSFILE=/dev/null
> 
> Coz neni dokumentovane a v prubehu poslednich trech let jsem musel
> zpusob potlaceni uz jednou menit, ale ted momentalne tohle funguje.

Aha, diky za radu. Kdyz nedam tedy ok, ale to druhe tlacitko (tusim Cancel), tak se tedy soubor options nevytvori, chapu to dobre - nezkousel jsem a zrovna nemam misto, kde bych to testnul.

Radek