1eed56e9aSPaolo Bonzini#! /bin/sh
2eed56e9aSPaolo Bonzini
3eed56e9aSPaolo Bonziniif test $# = 0; then
4eed56e9aSPaolo Bonzini  exit 0
5eed56e9aSPaolo Bonzinifi
6eed56e9aSPaolo Bonzini
7*d31b8404SRichard Henderson# Create list of config switches that should be poisoned in common code,
8*d31b8404SRichard Henderson# but filter out several which are handled manually.
9eed56e9aSPaolo Bonziniexec sed -n \
10eed56e9aSPaolo Bonzini  -e' /CONFIG_TCG/d' \
11eed56e9aSPaolo Bonzini  -e '/CONFIG_USER_ONLY/d' \
12*d31b8404SRichard Henderson  -e '/CONFIG_SOFTMMU/d' \
13eed56e9aSPaolo Bonzini  -e '/^#define / {' \
14eed56e9aSPaolo Bonzini  -e    's///' \
15eed56e9aSPaolo Bonzini  -e    's/ .*//' \
16eed56e9aSPaolo Bonzini  -e    's/^/#pragma GCC poison /p' \
171248a159SMarkus Armbruster  -e '}' "$@" | sort -u
18