diff options
Diffstat (limited to 'writemain.SH')
| -rw-r--r-- | writemain.SH | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/writemain.SH b/writemain.SH index 0b5bd07600..400329f5f1 100644 --- a/writemain.SH +++ b/writemain.SH @@ -39,8 +39,8 @@ args='' : Remove any .a suffixes and any leading path components for file in $orig ; do case "$file" in - *.a) file=`echo $file | sed 's/\.a//g'` - ;; + *.a) file=`echo $file | sed 's/\.a//g'`;; + *.o) file=`echo $file | sed 's/\.o//g'`;; esac case "$file" in ext/*) file=`echo $file | sed 's:ext/\(.*\)/[^/]*:\1:'` |