From 6aebc4030f201ab9cd42892ba328df3780a9b7d7 Mon Sep 17 00:00:00 2001
From: lanefu <lanefu@users.noreply.github.com>
Date: Thu, 17 Sep 2020 20:51:42 -0400
Subject: [PATCH] disabling EXTRAWIFI by default

---
 config-jenkins-kernel.conf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config-jenkins-kernel.conf b/config-jenkins-kernel.conf
index ff61561..0f4aa79 100644
--- a/config-jenkins-kernel.conf
+++ b/config-jenkins-kernel.conf
@@ -21,3 +21,4 @@ CARD_DEVICE=""				# device name /dev/sdx of your SD card to burn directly to the
 FORCE_CHECKOUT="no"
 EXPERT="yes"
 BUILD_DESKTOP="no"
+EXTRAWIFI="no"