]> xenbits.xensource.com Git - mini-os.git/commit
projects / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 203498c) | patch
mini-os: provide binary without debug information
authorJuergen Gross <jgross@suse.com>
Thu, 16 Apr 2020 12:27:48 +0000 (14:27 +0200)
committerWei Liu <wl@xen.org>
Thu, 16 Apr 2020 13:29:46 +0000 (14:29 +0100)
commit0f13d7a4e930ff0a9023fb98dbfb5ffea6c48bd8
tree2aedbc07b2ec7db47f0963f540b5fd89f00caf0ctree
parent203498c11cdb4e0dbfc90aa8d60319032288925ccommit | diff
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@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.