git.annexia.org
/
goals.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6aa5680
)
run: Fix whitespace.
author
Richard W.M. Jones
<rjones@redhat.com>
Fri, 3 Jan 2020 19:07:07 +0000
(19:07 +0000)
committer
Richard W.M. Jones
<rjones@redhat.com>
Fri, 3 Jan 2020 19:07:07 +0000
(19:07 +0000)
src/run.ml
patch
|
blob
|
history
diff --git
a/src/run.ml
b/src/run.ml
index
c9a9466
..
0290124
100644
(file)
--- 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