Strip fw_printenv like the other tools

Signed-off-by: Loïc Minier <lool@debian.org>
Gbp-Pq: Name strip-env-tools.diff

diff --git a/tools/env/Makefile b/tools/env/Makefile
index 28b73da4ad66cef05c0ed8ace43a379457ce360f..07634bcfffa1740fcbb05dc4eb65806b2367dedb 100644 (file)
--- a/tools/env/Makefile
+++ b/tools/env/Makefile
@@ -41,6 +41,7 @@ all:  $(obj)fw_printenv
 # Some files complain if compiled with -pedantic, use HOSTCFLAGS_NOPED
 $(obj)fw_printenv:     $(HOSTSRCS) $(HEADERS)
        $(HOSTCC) $(HOSTCFLAGS_NOPED) $(HOSTLDFLAGS) -o $@ $(HOSTSRCS)
+       $(HOSTSTRIP) $@
 
 clean:
        rm -f $(obj)fw_printenv