src/Tools/Code/code_target.ML
changeset 43850 7f2cbc713344
parent 43564 9864182c6bad
child 44751 f523923d8182
     1.1 --- a/src/Tools/Code/code_target.ML	Sat Jul 16 20:14:58 2011 +0200
     1.2 +++ b/src/Tools/Code/code_target.ML	Sat Jul 16 20:52:41 2011 +0200
     1.3 @@ -403,11 +403,13 @@
     1.4          val _ = export (SOME destination) (invoke_serializer thy target (SOME 80)
     1.5            module_name args naming program names_cs);
     1.6          val cmd = make_command module_name;
     1.7 -      in if bash ("cd " ^ File.shell_path p ^ " && " ^ cmd ^ " 2>&1") <> 0
     1.8 +      in
     1.9 +        if Isabelle_System.bash ("cd " ^ File.shell_path p ^ " && " ^ cmd ^ " 2>&1") <> 0
    1.10          then error ("Code check failed for " ^ target ^ ": " ^ cmd)
    1.11          else ()
    1.12        end;
    1.13 -  in if getenv env_var = ""
    1.14 +  in
    1.15 +    if getenv env_var = ""
    1.16      then if strict
    1.17        then error (env_var ^ " not set; cannot check code for " ^ target)
    1.18        else warning (env_var ^ " not set; skipped checking code for " ^ target)