blob: 11b8bd53b2c3e196f6855b12d9bd4445dc0e83fc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/usr/bin/awk -f
{
GENTOO_ENABLE=1;
if (match($0, /flags="([^"=]*)"/, cflags)) {
split(cflags[1], fields);
for (i in fields) {
if (match(fields[i], /-m([[:graph:]]*)/, inst)) {
if (!index(enabled_flags, inst[1])) {
GENTOO_ENABLE=0;
}}}}
if (!GENTOO_ENABLE) { sub(cflags[1], "-mGENTOO_DISABLE"); }
print;
}
|