11 HEADER
="# Generated by Martin's tool $0, not libtool"
13 test -f $TARGET && exit 0
18 while [ "$1" != "--" ]; do
20 filename
=`basename $file`
22 echo "$HEADER" > $LOFILE
23 if [ "$STATIC" = "static" ]; then
24 echo "non_pic_object='$filename'" >> $LOFILE
26 echo "pic_object='$filename'" >> $LOFILE
28 echo "$DIR/$file " >> $FILELIST
29 echo "$DIR/$LOFILE " >> $LOFILELIST
32 (cd $DIR && $AR cr
$TARGET `cat $FILELIST` && $RANLIB $TARGET)