#!/bin/sh
main="$1"; shift
rm -f "$main"
ar cr "$main" ${1+"$@"}
ranlib "$main"


syntax highlighted by Code2HTML, v. 0.9.1