depends: exclude OPTIONS from build_id

diff --git a/contrib/depends/gen_id b/contrib/depends/gen_id
index 6c13b3b1f85efacc6884cd2c4d999a1030d93870..8653a029e81d92d40eb178deaca39cac5e95dfe7 100755 (executable)
--- 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"