asm: handle comments when creating header file
authorNorbert Manthey <nmanthey@amazon.com>
Wed, 6 Feb 2019 14:09:33 +0000 (15:09 +0100)
committerWei Liu <wei.liu2@citrix.com>
Tue, 12 Feb 2019 10:48:40 +0000 (10:48 +0000)
commit09fc4de4a8ebb389641b8b8a632efcb7ca880e08
treef022f033660eba2b3a677b49ae41aeddf343f79b
parentd04bf1eb656be8b2131d08c7e32cff343556cfa8
asm: handle comments when creating header file

In the early steps of compilation, the asm header files are created, such
as include/asm-$(TARGET_ARCH)/asm-offsets.h. These files depend on the
assembly file arch/$(TARGET_ARCH)/asm-offsets.s, which is generated
before. Depending on the used toolchain, there might be comments in the
assembly files. Especially the goto-gcc compiler of the bounded model
checker CBMC adds comments that start with a '#' symbol at the beginning
of the line.

This commit adds handling comments in assembler during the creation of the
asm header files, especially ignoring lines that start with '#', which
indicate comments for both ARM and x86 assembler. The used tool goto-as
produces exactly comments of this kind.

Signed-off-by: Norbert Manthey <nmanthey@amazon.de>
Signed-off-by: Michael Tautschnig <tautschn@amazon.co.uk>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Release-acked-by: Juergen Gross <jgross@suse.com>
xen/Makefile