diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 491de5c843..fff5dfe0bf 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -6478,6 +6478,11 @@ integration (CI). Checkouts are kept in a cache under @file{~/.cache/guix/checkouts} to speed up consecutive accesses to the same repository. You may want to clean it up once in a while to save disk space. + +@item --with-commit=@var{package}=@var{commit} +This is similar to @code{--with-branch}, except that it builds from +@var{commit} rather than the tip of a branch. @var{commit} must be a valid +Git commit SHA1 identifier. @end table @node Additional Build Options |