#!/bin/sh -e
redo-ifchange config/ar config/arflags
read ar < config/ar
read arflags < config/arflags
archive="$1"
shift
rm -f -- "$archive"
"${ar}" ${arflags} "$archive" "$@"
