diff options
Diffstat (limited to 'dev-python/numpy/files/replace_cpuflags.awk')
| -rw-r--r-- | dev-python/numpy/files/replace_cpuflags.awk | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-python/numpy/files/replace_cpuflags.awk b/dev-python/numpy/files/replace_cpuflags.awk deleted file mode 100644 index 11b8bd53b2c3..000000000000 --- a/dev-python/numpy/files/replace_cpuflags.awk +++ /dev/null @@ -1,14 +0,0 @@ -#!/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; -} |
