Ticket #233 (closed defect: fixed)

Opened 2 years ago

Last modified 2 years ago

make uninstall broken

Reported by: matteosistisette Owned by:
Priority: normal Component: build system
Version: git-master Keywords:
Cc: Blocked By:
Blocking: Reproduced by developer: yes
Analyzed by developer: no

Description

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)

Change History

comment:1 follow-up: ↓ 2 Changed 2 years ago by cehoyos

  • Priority changed from important to normal
  • Status changed from new to open
  • Component changed from undetermined to build system

I would have expected this (or similar) output, but please add the output of

$ find /usr/local/include

comment:2 in reply to: ↑ 1 Changed 2 years ago by matteosistisette

Replying to cehoyos:

I would have expected this (or similar) output,

Do you mean it's normal that make uninstall just tries to remove the /usr/local/include directory 8 times and doesn't even try to delete any other file?

comment:3 Changed 2 years ago by cehoyos

You didn't say it did not even try to delete any other file before...
Please add the output of find /usr/local/include after running make uninstall so we know that no header files were removed.

comment:4 Changed 2 years ago by matteosistisette

Well when I said "here's the output" I meant _all_ the output :)

...Or maybe it is not supposed to show all the commands being executed?

If I uninstall it again i will post the output of find

comment:5 Changed 2 years ago by cehoyos

  • Status changed from open to closed
  • Version changed from unspecified to git-master
  • Resolution set to fixed
  • Reproduced by developer set

make V=1 shows all commands being executed.

The remaining issue (one header file was not deleted) should be fixed in latest git head.

Note: See TracTickets for help on using tickets.