diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/notsd-fixup | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/notsd-fixup b/tools/notsd-fixup index 71b3bf4dfa..820d2fec17 100755 --- a/tools/notsd-fixup +++ b/tools/notsd-fixup @@ -15,6 +15,12 @@ main() { find "$@" -type f -name Makefile -print0 | xargs -r0 sh -c "$0--makefiles \"\$@\" || exit 255" -- + # GNUmakefiles + find "$@" -type l -name GNUmakefile -delete + # It's OK for the top-level one to fail + find "$@" -type f -name Makefile -printf '%h\0' | + xargs -r0 -I {} ln -s -t {} GNUmakefile + # C includes rm -rf -- "$0"--includes.cache find "$@" \( -name '*.h' -o -name '*.c' -o -name '*.gperf' -o -name '*.gperf.m4' \) -type f -print0 | |