On Friday 14 May 2004 19:17, Gerard Samuel wrote: > a) make --SOMEOPTION=yes > b) make --SOMEOPTION=yes > c) make SOMEOPTION=yes I'm not sure there's an "official way", but I think you can use whatever: make -DOPTION make OPTION=1 make OPTION=yes