From b632667ce57af89691407bb8668e1512775278ae Mon Sep 17 00:00:00 2001 From: Calvin Date: Fri, 15 Mar 2013 15:26:20 -0400 Subject: nbc added --- src/nbc/clean.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 src/nbc/clean.sh (limited to 'src/nbc/clean.sh') diff --git a/src/nbc/clean.sh b/src/nbc/clean.sh new file mode 100644 index 0000000..58d95bf --- /dev/null +++ b/src/nbc/clean.sh @@ -0,0 +1,2 @@ +#! /bin/sh -v +rm substitution.lex.sml substitution.grm.sig substitution.grm.sml score -- cgit v1.2.3