diff options
| author | Alex Kost <alezost@gmail.com> | 2015-09-24 16:10:14 +0300 |
|---|---|---|
| committer | Alex Kost <alezost@gmail.com> | 2015-09-25 10:45:38 +0300 |
| commit | 665ce1ebe548c71e9da54caeb62eca5f9f588d4d (patch) | |
| tree | 44cd5e2691485e123f74d52d72aefd66877494ab /emacs | |
| parent | 23464bfd9961769de5ce0ee3cb92e59a86299ca6 (diff) | |
emacs: build-log: Improve regexp for the phase end.
* emacs/guix-build-log.el (guix-build-log-phase-end-regexp): Handle
fractional number of seconds (like "0.8").
Diffstat (limited to 'emacs')
| -rw-r--r-- | emacs/guix-build-log.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/emacs/guix-build-log.el b/emacs/guix-build-log.el index 6faa37c311..9ce30bd1dd 100644 --- a/emacs/guix-build-log.el +++ b/emacs/guix-build-log.el @@ -141,7 +141,7 @@ STATE is a symbol denoting how a build phase was ended. It should be (rx-to-string `(and bol "phase " (regexp ,guix-build-log-phase-name-regexp) " " (group (regexp ,state-rx)) " after " - (group (1+ digit)) " seconds") + (group (1+ (or digit "."))) " seconds") t))) (defvar guix-build-log-phase-end-regexp |