Mircea Bardac <[EMAIL PROTECTED]>:
># Default: OPTIONS=(strip !docs !libtool emptydirs)
>OPTIONS=(strip !docs libtool emptydirs)
>
>Is there a specific reason for having DEFAULT different than the actual 
>config?
>
>Note that this is from the config file with no changes.

I've noticed it some time ago and filled this bug report:
http://bugs.archlinux.org/task/7127

-- 
Rafal Szczepaniak (lanrat)
infopolia_at_adres.pl


_______________________________________________
arch mailing list
[email protected]
http://archlinux.org/mailman/listinfo/arch

Reply via email to