Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

fix mkfile bug

  • Loading branch information...
commit 4f3c8f11c87b5fc32905375b3e018da439bb3da5 1 parent abaa794
@nrnrnr authored
Showing with 2 additions and 1 deletion.
  1. +2 −1  mkfile
View
3  mkfile
@@ -1,5 +1,6 @@
SMLNJHOME=/usr/lib/smlnj
SUFFIX=`$SMLNJHOME/bin/.arch-n-opsys | sed 's/.*HEAP_SUFFIX=//'`
+SRC=`find * -name '*.sml' -o -name '*.sig'`
test:V:
sml <<'EOF'
@@ -15,7 +16,7 @@ ltest:V:
lint:V: lint.$SUFFIX
-lint.$SUFFIX:V:
+lint.$SUFFIX: $SRC
ml-build lint.cm Lint.run lint
install:V: $LIB/lint.$SUFFIX
Please sign in to comment.
Something went wrong with that request. Please try again.