HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8393 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2009-01-05 14:25:47 +00:00
parent 73f412bdca
commit 09466ebea0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/config.sml
View File

@ -85,7 +85,7 @@ fun check_umlocl_dtd () = (OS.FileSys.chDir (su4sml_share());OS.FileSys.access (
fun check_unzip () = let
val tmpFile = OS.FileSys.tmpName ()
val result = (OS.Process.system (unzip^" > "^tmpFile) = OS.Process.success)
val result = (Posix.Process.fromStatus(OS.Process.system (unzip^" > "^tmpFile)) = Posix.Process.W_EXITED)
val _ = OS.FileSys.remove tmpFile
in
result