git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc05c5c) | patch
parser: Allow an empty goal statement with no targets, deps or code.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 10 Jan 2020 12:30:51 +0000 (12:30 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 10 Jan 2020 12:31:31 +0000 (12:31 +0000)
commit017d19bf31e5e4d15423fe7c8068b50034b919a3
treebf2e075776fedc95261486f3f3d20228e82449e1tree | snapshot
parentbc05c5c0eef21e7f80a9b6a7fa7e551b200ad905commit | diff
parser: Allow an empty goal statement with no targets, deps or code.

This allows you to write "do nothing" goals like:

  goal all ;
src/parser.mly diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.