diff options
Diffstat (limited to 'writemain.SH')
| -rw-r--r-- | writemain.SH | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/writemain.SH b/writemain.SH index d7511e8429..2cd4704f08 100644 --- a/writemain.SH +++ b/writemain.SH @@ -40,6 +40,8 @@ for file in `echo $orig | sed 's/\.a//g'` ; do case "$file" in ext/*) file=`echo $file | sed 's:ext/\(.*\)/[^/]*:\1:'` ;; + lib/auto/*) file=`echo $file | sed 's:lib/auto/\(.*\)/[^/]*:\1:'` + ;; */*) file=`expr X$file : 'X.*/\(.*\)'` ;; |