diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:03:07 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:03:07 -0600 |
| commit | 3c9e86ae8bf09d993e2e7a4ecb43d80da8fabb99 (patch) | |
| tree | 51691e0239201960ca43dc90791a8b3b467dbe3b /gnu | |
| parent | d2884b7feff849bc969503dea2a6e8052fc139a6 (diff) | |
| download | patches-3c9e86ae8bf09d993e2e7a4ecb43d80da8fabb99.tar patches-3c9e86ae8bf09d993e2e7a4ecb43d80da8fabb99.tar.gz | |
gnu: coq-stdpp: Reword comment.
* gnu/packages/coq.scm (coq-stdpp)[arguments]: Reword comment about tests
being executed during build phase, to read more fluently.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/coq.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index cadbbdbaa5..3eba39e5d0 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -604,7 +604,7 @@ kernel.") (inputs `(("coq" ,coq))) (arguments - `(#:tests? #f ;; the tests are being run automaticlly as part of `make all` + `(#:tests? #f ; Tests are executed during build phase. #:phases (modify-phases %standard-phases (delete 'configure) |