From ada306881d8167bab477f30e787fe51a82344d53 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 29 May 2006 10:42:09 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4602 3260e6d1-4efc-4170-b0a7-36055960796d --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7784ca8..0bff492 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 1" | sml ) + (cd src && echo "val _ = use \"ROOT.ML\"; val _ = OS.Process.exit 0" | sml ) || true