X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Frun.ml;fp=src%2Frun.ml;h=1af56bc48587db7221a7f5aefa50c1503b8a3813;hb=97494bfc31556510759b0893803d815e3f2a9ad5;hp=7d48a7eb26ae4b0a06101735d11f2f4401370b76;hpb=6a90be28a5705ab13dc5cf161b659acfb05ef34b;p=goals.git diff --git a/src/run.ml b/src/run.ml index 7d48a7e..1af56bc 100644 --- a/src/run.ml +++ b/src/run.ml @@ -178,7 +178,7 @@ and needs_rebuild env loc deps pattern = | [] -> env | d :: _ -> Ast.Env.add "^" d env in let code = Eval.to_shell_script env loc code in - let code = "set -e\nset -x\n\n" ^ code in + let code = "set -e\n" (*^ "set -x\n" *) ^ "\n" ^ code in let r = Sys.command code in if r = 99 (* means "needs rebuild" *) then true else if r = 0 (* means "doesn't need rebuild" *) then false