#!/bin/sh
HERE=`echo $0|sed -e 's,/[^/]*$,,'`
PATH=$HERE:$PATH
file=$1
sfile=`basename $file`
shift
cflags=$*
RM=echo
#
echo cc -S $file.c
cc -S $cflags $file.c
mv $sfile.s $sfile.ccom
if inline_sun3 -i$HERE/../etc/xkernel.il $sfile.ccom $sfile.s ; then
    $RM -f $sfile.ccom ;
fi
