Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Updating.

  • Loading branch information...
commit 1522898d5bcfdd64b715031305c46ea1ac650c46 1 parent eb06d5e
Hongwei Xi authored
Showing with 12 additions and 13 deletions.
  1. +12 −11 test.sh.in
  2. +0 −2  utils/atsgrammar/atsgrammar_main.dats
View
23 test.sh.in
@@ -1,25 +1,26 @@
#!/bin/sh
#
-# Author: Matthew Danish
-#
-# Run some basic tests with the newly built compiler
+# 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"
-cd doc/EXAMPLE/TEST
-make cleanall
-ATSHOMERELOC="ATS-$PACKAGE_VERSION" ATSHOME="$CURDIR" make
-CODE=$?
-make cleanall
-
-cd "$CURDIR"
-exit $CODE
+TESTDIR=doc/EXAMPLE/TEST
+make -C ${TESTDIR} cleanall
+make -C ${TESTDIR} checkall
+EXITCODE=$?
+exit $EXITCODE
###### end of [test.sh.in] ######
View
2  utils/atsgrammar/atsgrammar_main.dats
@@ -3526,8 +3526,6 @@ val () = grmrule_set_action (gr, "{ $$ = s0expext_nam($1, $2) ; }")
val gr = grmrule_append ($lst_t {symbol} (tupz! exts0exp atms0exp))
val () = grmrule_set_action (gr, "{ $$ = s0expext_app($1, $2) ; }")
//
-val () = theGrmrulelst_merge_all (exts0exp, SYMREGpluslit(atms0exp))
-//
val () = symbol_close (pf | exts0exp)
//
} // end of [exts0exp_proc]
Please sign in to comment.
Something went wrong with that request. Please try again.