diff options
Diffstat (limited to 'contrib/kernel-tree/jerry-rig.sh')
| -rwxr-xr-x | contrib/kernel-tree/jerry-rig.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/contrib/kernel-tree/jerry-rig.sh b/contrib/kernel-tree/jerry-rig.sh new file mode 100755 index 0000000..3d4139a --- /dev/null +++ b/contrib/kernel-tree/jerry-rig.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +K="$1" +WG="$(readlink -f "$(dirname "$(readlink -f "$0")")/../../src/")" + +if [[ ! -e $K/net/Kconfig ]]; then + echo "You must specify the location of kernel sources as the first argument." >&2 + exit 1 +fi + +sed -i "/^if INET\$/a source \"$WG/Kconfig\"" "$K/net/Kconfig" +echo "obj-y += ../../../../../../../../../../../../../../../../../../../../../..$WG/" >> "$K/net/Makefile" |