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"