git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7198df) | patch
eval: Goals with no targets always need a rebuild.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 08:02:29 +0000 (08:02 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 08:02:53 +0000 (08:02 +0000)
commitef2b2a9ce0c7ba6f05754e3da1e5e9fbbdf88d15
tree1f479d8c23a8b8ffaf62fa9aaabee6a3e3ff24f7tree | snapshot
parentf7198dfc6a473781b429871cb098325c1b8ce331commit | diff
eval: Goals with no targets always need a rebuild.
src/eval.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.