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 7650b42f2125..90288c93e684 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 -sandbox:stop caught signal 15 in pid 11992 +sandbox:stop caught signal 15 in pid 19526 Sandboxed process killed by signal: Terminated Terminated * Cache regen failed with -13 |