[mini-os master] mini-os: provide binary without debug information

[patchbot@xxxxxxx]

commit 0f13d7a4e930ff0a9023fb98dbfb5ffea6c48bd8
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Thu Apr 16 14:27:48 2020 +0200
Commit:     Wei Liu <wl@xxxxxxx>
CommitDate: Thu Apr 16 14:29:46 2020 +0100

    mini-os: provide binary without debug information
    
    Provide a mini-os binary stripped from debug information in order to
    have a smaller resulting kernel file. The binary with debug
    information is kept with the suffix "-debug".
    
    Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
    Reviewed-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>
---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6a05de6..be640cd 100644
--- a/Makefile
+++ b/Makefile
@@ -167,7 +167,9 @@ $(OBJ_DIR)/arch/x86/minios-x86%.lds:  
arch/x86/minios-x86.lds.S
 $(OBJ_DIR)/$(TARGET): $(OBJS) $(APP_O) arch_lib 
$(OBJ_DIR)/$(TARGET_ARCH_DIR)/minios-$(MINIOS_TARGET_ARCH).lds
        $(LD) -r $(LDFLAGS) $(HEAD_OBJ) $(APP_O) $(OBJS) $(LDARCHLIB) $(LDLIBS) 
-o $@.o
        $(OBJCOPY) -w -G $(GLOBAL_PREFIX)* -G _start $@.o $@.o
-       $(LD) $(LDFLAGS) $(LDFLAGS_FINAL) $@.o $(EXTRA_OBJS) -o $@
+       $(LD) $(LDFLAGS) $(LDFLAGS_FINAL) $@.o $(EXTRA_OBJS) -o $@-debug
+       strip -s $@-debug -o $@
+       gzip -n -f -9 -c $@-debug >$@-debug.gz
        gzip -n -f -9 -c $@ >$@.gz
 
 .PHONY: config
--
generated by git-patchbot for /home/xen/git/mini-os.git#master