portconf vs. options

[Dan Lukes]

On 07/22/10 12:44, Radek Krejča:
>> Jestlize zadavas optiony v ramci konfigurace portmasteru, tak bys
>> rozhodne nemel ukladat optiony do "options".
>
> Coz to by mi nevadilo, ale jak to udelam, resp. jak potlacim, aby na me vyskocila tabulka s volbami k danemu portu, kdyz to ma definovano v Makefile? Priznam se, ze jsem netusil, ze to vubec jde.

To je jina otazka. Neukladat nastaveni do "options" muzes take tak, ze z 
vyskocene tabulky vyskocis aniz bys neco volil a pouzil [OK].

Ale kdyz se ptas ...

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.

						Dan