From: Richard W.M. Jones Date: Fri, 3 Jan 2020 19:07:07 +0000 (+0000) Subject: run: Fix whitespace. X-Git-Tag: v'0.2'~94 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=15ee921d284726fdf026025cad815ed065969ac5;hp=6aa568027b2bbf2ddcc2471eaa4237b289685b57;p=goals.git run: Fix whitespace. --- diff --git a/src/run.ml b/src/run.ml index c9a9466..0290124 100644 --- a/src/run.ml +++ b/src/run.ml @@ -185,7 +185,7 @@ and needs_rebuild env loc deps extra_deps pattern = | [] -> env | d :: _ -> Ast.Env.add "^" d env in let code = Eval.to_shell_script env loc code in - let code = "set -e\n" (*^ "set -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