[FFmpeg-devel] [PATCH] Uninstall include dirs.

Måns Rullgård mans
Thu Jan 14 21:32:45 CET 2010


Ramiro Polla <ramiro.polla at gmail.com> writes:

> 2010/1/14 M?ns Rullg?rd <mans at mansr.com>:
>> Ramiro Polla <ramiro.polla at gmail.com> writes:
>>
>>> On Thu, Jan 14, 2010 at 3:21 PM, Reimar D?ffinger
>>> <Reimar.Doeffinger at gmx.de> wrote:
>>>> On Thu, Jan 14, 2010 at 03:04:01PM -0200, Ramiro Polla wrote:
>>>>> Yes, some people do use make uninstall.
>>>>
>>>> We definitely have to do something about that!
>>>> They threaten our plans for world domination, make uninstall definitely
>>>> needs to be modified to alert our emergency squad!
>>>
>>> Patch attached.
>>>
>>
>> [...]
>>
>>> +uninstall:
>>> + ? ? @echo "I'm sorry, Dave. I'm afraid I can't do that"
>>
>> Love it.
>>
>> The uninstall target is generally a bad idea. ?It can very easily end
>> up removing too little or, worse, too much. ?For managing stuff not
>> covered by the system package manager, it is much better to use
>> something like stow[1] instead.
>>
>> [1] http://savannah.gnu.org/projects/stow
>
> Well, as long as we have it there,

I approved your patch to remove it.

> we should make it work properly...

If only "properly" were well-defined and possible to achieve...

-- 
M?ns Rullg?rd
mans at mansr.com



More information about the ffmpeg-devel mailing list