diff options
Diffstat (limited to 'spike.txt')
| -rw-r--r-- | spike.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spike.txt b/spike.txt index ec107dc123a5..4ed6149b3bb5 100644 --- a/spike.txt +++ b/spike.txt @@ -32,7 +32,7 @@ WARNING:pkgcore:'genthree' repo at '/home/mgorny/repos/genthree' has unsupported * ebuild-daemon.bash, line 384: called die !!! caught exception False while processing ebuild src: dev-libs/gecode-9999 Terminated -sandbox:stop caught signal 15 in pid 7691 +sandbox:stop caught signal 15 in pid 7858 Sandboxed process killed by signal: Terminated !!! caught exception ("Expected command; instead got nothing from ''", None) while processing ebuild src: dev-libs/intel-beignet-0.9.3 * Cache regen failed with -13 |