mkdebian (7e548e9a54bf4ca420f1874e4a602cafe0ed7671) mkdebian (6fb7ef5a343dea78e71600314cbb5e5b7466243b)
1#!/bin/sh
2#
3# Copyright 2003 Wichert Akkerman <wichert@wiggy.net>
4#
5# Simple script to generate a debian/ directory for a Linux kernel.
6
7set -e
8
9is_enabled() {
1#!/bin/sh
2#
3# Copyright 2003 Wichert Akkerman <wichert@wiggy.net>
4#
5# Simple script to generate a debian/ directory for a Linux kernel.
6
7set -e
8
9is_enabled() {
10 grep -q "^$1=y" $KCONFIG_CONFIG
10 grep -q "^$1=y" include/config/auto.conf
11}
12
13if_enabled_echo() {
14 if is_enabled "$1"; then
15 echo -n "$2"
16 elif [ $# -ge 3 ]; then
17 echo -n "$3"
18 fi

--- 209 unchanged lines hidden --- 		11}
12
13if_enabled_echo() {
14 if is_enabled "$1"; then
15 echo -n "$2"
16 elif [ $# -ge 3 ]; then
17 echo -n "$3"
18 fi

--- 209 unchanged lines hidden ---