diff options
| author |   Bryan Hundven <bryanhundven@gmail.com> | 2015-11-26 11:43:03 (GMT) |
|---|---|---|
| committer | Bryan Hundven <bryanhundven@gmail.com> | 2015-12-08 15:20:35 (GMT) |
| commit | 5d967e8b3949db7f4b8dae31e2f0b14efc568de9 (patch) | |
| tree | 672648629e861162475e1183b25ec2bfd7627965 /scripts/saveSample.sh.in | |
| parent | 9d835eddcf8b225bafbeacafaa8db830b201b5c9 (diff) | |
Linux: Remove obsolete Linux custom headers
This option allowed you to use a custom headers directory/tarball to use
in your sysroot.
Not to be confused with using a custom source, that option is the
preferred method.
Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
Reviewed-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Diffstat (limited to 'scripts/saveSample.sh.in')
| -rw-r--r-- | scripts/saveSample.sh.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/scripts/saveSample.sh.in b/scripts/saveSample.sh.in index 34e6594..a070dc2 100644 --- a/scripts/saveSample.sh.in +++ b/scripts/saveSample.sh.in @@ -37,12 +37,6 @@ if [ "${CT_CUSTOM_PATCH}" = "y" ]; then echo "You will not be able to (easily) share this sample in this case." read -p "Press Ctrl-C to stop now, or Enter to continue..." fi -if [ "${CT_KERNEL_LINUX_USE_CUSTOM_HEADERS}" = "y" ]; then - exec >&7 - echo "You are using custom Linux headers." - echo "You will not be able to (easily) share this sample in this case." - read -p "Press Ctrl-C to stop now, or Enter to continue..." -fi # Do not use a progress bar unset CT_LOG_PROGRESS_BAR |