diff options
| author | Rosen Penev <rosenp@gmail.com> | 2022-09-28 01:23:56 -0700 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2022-10-20 00:33:22 +0200 |
| commit | a63805b25f99e609d575ee920baae269fb58794c (patch) | |
| tree | 3d7090484571e2b300efdd658033378c250a485e /tools/gmp | |
| parent | f2ae4e2f8cf698f6fc6ae802dae86f50916f4286 (diff) | |
| download | upstream-a63805b25f99e609d575ee920baae269fb58794c.tar.gz upstream-a63805b25f99e609d575ee920baae269fb58794c.tar.bz2 upstream-a63805b25f99e609d575ee920baae269fb58794c.zip | |
tools: add Host/Uninstall where possible
This cleans staging_dir when calling tool/x/clean.
Signed-off-by: Rosen Penev <rosenp@gmail.com>
Diffstat (limited to 'tools/gmp')
| -rw-r--r-- | tools/gmp/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile index 967cf6817b..cfd6e30e04 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -31,4 +31,8 @@ ifeq ($(GNU_HOST_NAME),x86_64-linux-gnux32) HOST_CONFIGURE_ARGS += ABI=x32 endif +define Host/Uninstall + -$(call Host/Compile/Default,uninstall) +endef + $(eval $(call HostBuild)) |