27 lines
731 B
Diff
27 lines
731 B
Diff
From 71e80f29e7a051913da85d74b21b1db105367cf6 Mon Sep 17 00:00:00 2001
|
|
From: Vagrant Cascadian <vagrant@debian.org>
|
|
Date: Tue, 30 Sep 2014 20:34:19 -0700
|
|
Subject: [PATCH 06/13] Only set CONFIG_BOOTDELAY if not already set.
|
|
|
|
---
|
|
include/config_distro_defaults.h | 2 ++
|
|
1 file changed, 2 insertions(+)
|
|
|
|
diff --git a/include/config_distro_defaults.h b/include/config_distro_defaults.h
|
|
index 5d18a4b..fc67c42 100644
|
|
--- a/include/config_distro_defaults.h
|
|
+++ b/include/config_distro_defaults.h
|
|
@@ -45,7 +45,9 @@
|
|
|
|
#define CONFIG_CMDLINE_EDITING
|
|
#define CONFIG_AUTO_COMPLETE
|
|
+#ifndef CONFIG_BOOTDELAY
|
|
#define CONFIG_BOOTDELAY 2
|
|
+#endif
|
|
#define CONFIG_SYS_LONGHELP
|
|
#define CONFIG_MENU
|
|
#define CONFIG_DOS_PARTITION
|
|
--
|
|
2.1.0
|
|
|