#!/bin/sh

#
# makeVlintlib - scrape lint libraries together into one glorious file
#
# first few args indicate machine, V or xV, and the library name
#

MACHINE=$1
shift
XV=$1
shift
LIB=$1
shift

# The rest of the arguments are directory names where constituent lint libraries
# reside.

case $MACHINE in
	m68k)	LINT="lint68 -v${XV} -n";;
	vax)	LINT="lintVAX -v${XV} -n";;
	*)	echo "usage: $0 machine-type [xV|V] libname lint-libraries..." >&2
		exit 1;;
esac

# paste the library name to the end of the directory names

$LINT -C$LIB `echo $* | tr ' ' '\012' | sed "s%$%/llib-l$LIB.ln%"`
