avarzille/x15

Richard Braun adeff7f23f tools/build_configs.py: update compiler-related option names		il y a 6 ans
..
kconfig	bd78d99720 kconfig: workaround for GNU/Hurd	il y a 7 ans
build_configs.py	adeff7f23f tools/build_configs.py: update compiler-related option names	il y a 6 ans
gen_symtab.py	e1ec136ea5 tools/gen_symtab.py: fix input parsing	il y a 6 ans
tsort_init_ops.sh	be5b9d6ab9 Don't use reserved identifiers	il y a 7 ans