[pacman-dev] [PATCH] Make strip paths configurable

[Xavier]

Allan McRae wrote:
> Hi,
> 
> This is the patch from Thomas with the documentation added.  I'm not 
> sure whether when STRIP_DIRS is not defined in makepkg.conf that we
> should use the default path or just output a warning message saying that 
> it is not defined and no stripping is being done.
> 

In my opinion, what you did is perfectly fine : using the default path 
when the strip option is enabled but STRIP_DIRS is not defined
If you want to disable stripping, you just disable the strip option.
And that way, it stays backward compatible with previous makepkg.conf.