blob: f53e60d47431e2a74a26e40bfcfd72761543fb31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/sh
#
# $1: topelevel Kconfig file
#
KCONFIG_TOPLEVEL=$1
if ! [ -f "$KCONFIG_TOPLEVEL" ]; then
echo "error: toplevel Kconfig file $KCONFIG_TOPLEVEL does not exist."
exit 1
fi
|