diff options
-rwxr-xr-x | scripts/depmod.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/depmod.sh b/scripts/depmod.sh index e5f0aad75b96..e083bcae343f 100755 --- a/scripts/depmod.sh +++ b/scripts/depmod.sh | |||
@@ -11,6 +11,7 @@ DEPMOD=$1 | |||
11 | KERNELRELEASE=$2 | 11 | KERNELRELEASE=$2 |
12 | 12 | ||
13 | if ! test -r System.map ; then | 13 | if ! test -r System.map ; then |
14 | echo "Warning: modules_install: missing 'System.map' file. Skipping depmod." >&2 | ||
14 | exit 0 | 15 | exit 0 |
15 | fi | 16 | fi |
16 | 17 | ||