Strip fw_printenv like the other tools

Signed-off-by: Loïc Minier <lool@debian.org>

diff --git a/tools/env/Makefile b/tools/env/Makefile
index 28b73da..07634bc 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