From eb55357e000ac9f282765b47e5597575f6ad2585 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 29 May 2006 10:18:26 +0000
Subject: [PATCH] git-svn-id:
 https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4598
 3260e6d1-4efc-4170-b0a7-36055960796d

---
 Makefile    | 2 +-
 src/ROOT.ML | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b6c98ff..9bf8426 100644
--- a/Makefile
+++ b/Makefile
@@ -7,4 +7,4 @@ apidoc:
 	smldoc --windowtitle="SU4SML API Documentation" --hidebysig --directory=doc/api --linksource --showsummary --overview=doc/overview.html src/su4sml.cm
 
 su4sml:
-	cd src && echo "val _ = use \"ROOT.ML\"; val _ = OS.Process.exit OS.Process.success" | sml	
+	cd src && echo "val _ = use \"ROOT.ML\"" | sml	
diff --git a/src/ROOT.ML b/src/ROOT.ML
index 89a54bf..1cccfed 100644
--- a/src/ROOT.ML
+++ b/src/ROOT.ML
@@ -100,3 +100,5 @@ use "rep_secure.sml";
 OS.FileSys.chDir "codegen"; 
 use "ROOT.ML"; 
 OS.FileSys.chDir "..";
+val _ = print "successfully compiled su4sml\n"
+