Rename merge_archives.sh for consistency

This commit is contained in:
Martin Storsjö committed 2018-01-10 10:53:02 +02:00
1 parent c1f96ba002
commit f79e7158c9
3 files changed
+2 -2

No files matched your search

+29
View File
@@ -0,0 +1,29 @@
#!/bin/sh
set -e
if [ $# -lt 2 ]; then
echo $0 lib add1 [add2...]
exit 1
fi
: ${AR:=llvm-ar}
: ${RANLIB:=llvm-ranlib}
SCRIPT=merge.mri
OUT=tmp.a
TARGET=$1
rm -f $SCRIPT
echo "CREATE $OUT" >> $SCRIPT
while [ $# -gt 0 ]; do
echo "ADDLIB $1" >> $SCRIPT
shift
done
echo "SAVE" >> $SCRIPT
echo "END" >> $SCRIPT
$AR -M < $SCRIPT
rm -f $SCRIPT
$RANLIB $OUT
mv $OUT $TARGET