diff options
Diffstat (limited to 'spike.txt')
| -rw-r--r-- | spike.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spike.txt b/spike.txt index 68e8e0989cec..f3a1debad10e 100644 --- a/spike.txt +++ b/spike.txt @@ -31,7 +31,7 @@ WARNING:pkgcore:repo at '/home/mgorny/repos/gentoo-playground', named 'gentoo-pl * isolated-functions.lib, line 354: called source '/home/mgorny/repos/spike/dev-libs/gecode/gecode-9999.ebuild' * gecode-9999.ebuild, line 17: called command_not_found_handle 'ESVN_USER' '=' 'anonymous' * ebuild-daemon.bash, line 384: called die -Terminated -sandbox:stop caught signal 15 in pid 18667 +sandbox:stop caught signal 15 in pid 25871 Sandboxed process killed by signal: Terminated +Terminated * Cache regen failed with -13 |