diff options
| -rwxr-xr-x | scripts/clean-includes | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/clean-includes b/scripts/clean-includes index 8e8420d..f0466a6 100755 --- a/scripts/clean-includes +++ b/scripts/clean-includes @@ -113,6 +113,10 @@ EOT files= for f in "$@"; do + if [ -L "$f" ]; then + echo "SKIPPING $f (symbolic link)" + continue + fi case "$f" in *.c.inc) # These aren't standalone C source files |