From 6d83478a393923de5878aca418372ab4cdcdf3b2 Mon Sep 17 00:00:00 2001 From: Eitan Adler Date: Sun, 18 Mar 2018 06:25:18 +0000 Subject: [PATCH] [faq] Refer to OPTIONS_SET instead of WITH*_* --- en_US.ISO8859-1/books/faq/book.xml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/en_US.ISO8859-1/books/faq/book.xml b/en_US.ISO8859-1/books/faq/book.xml index 1ecf359446..e1f5161b6e 100644 --- a/en_US.ISO8859-1/books/faq/book.xml +++ b/en_US.ISO8859-1/books/faq/book.xml @@ -2450,11 +2450,10 @@ kern.timecounter.hardware: TSC -> i8254 There are rare cases where INDEX will not build due to odd cases involving - WITH_* or - WITHOUT_* - variables being set in make.conf. If + OPTIONS_SET + being set in make.conf. If you suspect that this is the case, try to make - INDEX with those make variables + INDEX with those variables turned off before reporting it to &a.ports;.