From f47cd915a4f0d739796995fdf7933afd0dad9f3f Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Sun, 1 Oct 2017 19:29:43 +0000 Subject: [PATCH] disable "obj", too fragile, see also PR: 222488 PR: 222721 --- share/tools/webupdate | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/share/tools/webupdate b/share/tools/webupdate index 4ef70faf2d..32bca7798e 100755 --- a/share/tools/webupdate +++ b/share/tools/webupdate @@ -70,7 +70,8 @@ BUILDARGS=${BUILDARGS:-${DEFAULT_BUILDARGS}}; INSTARGS="${BUILDARGS} ${INSTARGS:-${DEFAULT_INSTARGS}}"; WEBMAILTO=${WEBMAILTO:-${DEFAULT_WEBMAILTO}}; -#export NO_OBJ=YES +# too fragile, see PR: 222488 +export NO_OBJ=YES # Notes on the names of the release notes directories: #