tree 679766afdb62bd1721bfb48acb71c394c691f595
parent bf68fa9d8cbf6d283da8d538c1f28d8f53df0fcd
author Serge Bazanski <serge@monogon.tech> 1633471222 +0200
committer Sergiusz Bazanski <serge@monogon.tech> 1633531822 +0000

build/ci: attempt to prevent Jenkins from killing Bazel

Every so often in CI we see the following:

   Server terminated abruptly (error code: 14, error message: 'Socket closed', log file: '/home/ci/.cache/bazel/_bazel_ci/8746318cfadba75371ec634ee6e84c81/server/jvm.out')

Not sure what causes it, but setting this magical value apparently
causes Jenkins' ProcessTreeKiller to stop killing all subprocesses of an
existing process, which might be causing the above. We'll find out.

Change-Id: Ibe48126dcf547735183c8789260bac6c42a0a10e
Reviewed-on: https://review.monogon.dev/c/monogon/+/347
Reviewed-by: Leopold Schabel <leo@nexantic.com>