Removing uneeded file.
[and.git] / PC^2 / pc2admin / samps / gvim.sh
blob36fd0cf534ee48648821770b75efcd4a64e862ee
1 #!/bin/sh
3 # File: gvim.sh
4 # Purpose: Used as a wrapper around gvim to generate the proper
5 # xml output expected of a validator.
6 # NOTE: gvim cannot be used as an auto-judger
7 # Author: pc2@ecs.csus.edu
8 # Revised: $Date: 2006/05/07 21:27:31 $
9 #
10 # $Id: gvim.sh,v 1.1 2006/05/07 21:27:31 boudreat Exp $
12 cat <<EOM > $4
13 <?xml version="1.0"?>
14 <result security="$4" outcome="something"/>
15 EOM
16 gvim -d $2 $3