1 #!/bin/bash -e 2 3 # RS Invocation script to FileCheck 4 # Usage: rs-filecheck-wrapper.sh <output-directory> <path-to-FileCheck> <source> 5 6 OUTDIR=$1 7 FILECHECK=$2 8 SOURCEFILE=$3 9 10 FILECHECK_INPUTFILE=`basename $SOURCEFILE | sed 's/\.rs\$/.ll/'` 11 12 $FILECHECK -input-file $OUTDIR/$FILECHECK_INPUTFILE $SOURCEFILE 13
