blob: 816c80a16d09a9341858e2a295d0d1a82f98db91 [file] [log] [blame]
mkopec1c460b372012-01-09 11:21:50 -05001#!/bin/bash -e
2
3# RS Invocation script to FileCheck
4# Usage: rs-filecheck-wrapper.sh <output-directory> <path-to-FileCheck> <source>
5
6OUTDIR=$1
7FILECHECK=$2
8SOURCEFILE=$3
9
10FILECHECK_INPUTFILE=`basename $SOURCEFILE | sed 's/\.rs\$/.ll/'`
11
12$FILECHECK -input-file $OUTDIR/$FILECHECK_INPUTFILE $SOURCEFILE