diff options
| author | Quentin Monnet <quentin.monnet@netronome.com> | 2017-12-07 15:00:18 -0800 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2017-12-08 20:14:16 +0100 |
| commit | d32442485df7633fc67245e3e614d29ac3c45dbd (patch) | |
| tree | fda673ce0454c491b726b3a9fdca865167e747e0 /tools/scripts | |
| parent | 658e85aa4ff2951f1e5163767827eaffccd51067 (diff) | |
| download | linux-rpi-d32442485df7633fc67245e3e614d29ac3c45dbd.tar.gz linux-rpi-d32442485df7633fc67245e3e614d29ac3c45dbd.tar.bz2 linux-rpi-d32442485df7633fc67245e3e614d29ac3c45dbd.zip | |
tools: bpftool: create "uninstall", "doc-uninstall" make targets
Create two targets to remove executable and documentation that would
have been previously installed with `make install` and `make
doc-install`.
Also create a "QUIET_UNINST" helper in tools/scripts/Makefile.include.
Do not attempt to remove directories /usr/local/sbin and
/usr/share/bash-completions/completions, even if they are empty, as
those specific directories probably already existed on the system before
we installed the program, and we do not wish to break other makefiles
that might assume their existence. Do remvoe /usr/local/share/man/man8
if empty however, as this directory does not seem to exist by default.
Signed-off-by: Quentin Monnet <quentin.monnet@netronome.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to 'tools/scripts')
| -rw-r--r-- | tools/scripts/Makefile.include | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/scripts/Makefile.include b/tools/scripts/Makefile.include index 3fab179b1aba..fcb3ed0be5f8 100644 --- a/tools/scripts/Makefile.include +++ b/tools/scripts/Makefile.include @@ -99,5 +99,6 @@ ifneq ($(silent),1) QUIET_CLEAN = @printf ' CLEAN %s\n' $1; QUIET_INSTALL = @printf ' INSTALL %s\n' $1; + QUIET_UNINST = @printf ' UNINST %s\n' $1; endif endif |