#!/bin/bash

echo 'FINISH this Jenkins script!'

#!/bin/bash

if [ "$R6RSVER" == chez ]; then

    cd src
    make 

elif [ "$R6RSVER" == plt ]; then

    cd src
    make wsparse
    make aggregated
    make pltbc

else
    echo "R6RSVER is not set to a known setting! ($R6RSVER)"
    exit 1
fi 

Add beginnings of a jenkins testing scritp
Add beginnings of a jenkins testing scritp
