# HG changeset patch # User krauss # Date 1301429213 -7200 # Node ID 99e359a9db27e97751950c027c26045a40e712c3 # Parent 4da4fc77664bf9e5b785a7d933d1b482ce66ea30 added missing smlnj target diff -r 4da4fc77664b -r 99e359a9db27 src/Tools/WWW_Find/IsaMakefile --- a/src/Tools/WWW_Find/IsaMakefile Tue Mar 29 17:47:11 2011 +0200 +++ b/src/Tools/WWW_Find/IsaMakefile Tue Mar 29 22:06:53 2011 +0200 @@ -9,6 +9,7 @@ images: test: Pure-WWW_Find all: images test +smlnj: all ## global settings