diff options
author | 2020-05-23 14:10:46 +0000 | |
---|---|---|
committer | 2020-05-23 14:10:46 +0000 | |
commit | 0915a90d16cade2357a32df8f9612158395c2a73 (patch) | |
tree | 0d77a29515fd37dcd21c7c7a24f42996dd715209 /lto-overlay.txt | |
parent | 2020-05-23T13:30:01Z (diff) | |
download | repos-0915a90d16cade2357a32df8f9612158395c2a73.tar.gz repos-0915a90d16cade2357a32df8f9612158395c2a73.tar.bz2 repos-0915a90d16cade2357a32df8f9612158395c2a73.zip |
2020-05-23T14:00:02Z
Diffstat (limited to 'lto-overlay.txt')
-rw-r--r-- | lto-overlay.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lto-overlay.txt b/lto-overlay.txt index 58b184c0b4c6..3fa94aaad149 100644 --- a/lto-overlay.txt +++ b/lto-overlay.txt @@ -20,4 +20,5 @@ Already up to date. $ git log --format=%ci -1 $ git show -q --pretty=format:%G? HEAD $ pmaint regen --use-local-desc --pkg-desc-index -t 1 lto-overlay +Sandboxed process killed by signal: Broken pipe * Cache regenerated successfully |