From a855c9eee65eb442222250a36c9b9956299d1119 Mon Sep 17 00:00:00 2001 From: tobtoht Date: Sat, 14 Oct 2023 00:39:52 +0200 Subject: [PATCH] depends: exclude OPTIONS from build_id --- contrib/depends/gen_id | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/depends/gen_id b/contrib/depends/gen_id index 6c13b3b1..8653a029 100755 --- a/contrib/depends/gen_id +++ b/contrib/depends/gen_id @@ -40,7 +40,7 @@ # LINES=\|COLUMNS=\|\|HOSTTYPE=\|OSTYPE=\|MACHTYPE=\|HOSTNAME= echo "BEGIN environment" - bash -c "printenv | sort | grep -v '^\(BASE_CACHE=\|DISTNAME=\|DISTSRC=\|OUTDIR=\|SOURCES_PATH=\|JOBS=\)'" + bash -c "printenv | sort | grep -v '^\(BASE_CACHE=\|DISTNAME=\|DISTSRC=\|OUTDIR=\|SOURCES_PATH=\|JOBS=\|OPTIONS=\)'" echo "END environment" echo "END ALL"