[FFmpeg-trac] #233(undetermined:new): make uninstall broken

[FFmpeg]

#233: make uninstall broken
------------------------------+--------------------------
 Reporter:  matteosistisette  |        Type:  defect
   Status:  new               |    Priority:  important
Component:  undetermined      |     Version:  unspecified
 Keywords:                    |  Blocked By:
 Blocking:                    |  Reproduced:  0
 Analyzed:  0                 |
------------------------------+--------------------------
 After making and installing ffmpeg succesfully, I tried to uninstall it
 with:

 make uninstall.

 Here's the output:

 # make uninstall
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)
 rmdir "/usr/local/include"
 rmdir: /usr/local/include: Directory not empty
 make: [uninstall-headers] Error 1 (ignored)

-- 
Ticket URL: <https://ffmpeg.org/trac/ffmpeg/ticket/233>
FFmpeg <http://ffmpeg.org>
FFmpeg issue tracker