Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

file 26 lines (19 sloc) 0.433 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
#!/bin/sh

#
# For running some tests with the newly built compiler
# Author: Matthew Danish (md AT cs DOT bu DOT edu)
# Time: 2010
#

######

PACKAGE_TARNAME=@PACKAGE_TARNAME@
PACKAGE_VERSION=@PACKAGE_VERSION@

######

CURDIR="`pwd`"
ATSHOME="$CURDIR"
ATSHOMERELOC="ATS-$PACKAGE_VERSION"

TESTDIR=doc/EXAMPLE/TEST
make -C ${TESTDIR} cleanall
make -C ${TESTDIR} checkall
EXITCODE=$?
exit $EXITCODE

###### end of [test.sh.in] ######
Something went wrong with that request. Please try again.