[checkmk-commits] [tribe29/checkmk] 317169: Avoid broken pipe.

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 317169d89bd3c16c27ffcb9eb7d08b747dbc9de9 https://github.com/tribe29/checkmk/commit/317169d89bd3c16c27ffcb9eb7d08b747… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2020-12-28 (Mon, 28 Dec 2020) Changed paths: M omd/Makefile.omd Log Message: ----------- Avoid broken pipe. "grep -q" stops searching when a match is found, so the previous job in a pipeline must be able to handle a broken pipe. Some GCC versions don't do this, so we avoid the "-q" and simply use a slightly less efficient grep. Change-Id: I95b32797dd903dd49d30db933471870b90b6e89a