diff options
| -rwxr-xr-x | scripts/depmod.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/scripts/depmod.sh b/scripts/depmod.sh index a27235685949..2ae481703141 100755 --- a/scripts/depmod.sh +++ b/scripts/depmod.sh | |||
| @@ -9,12 +9,6 @@ fi | |||
| 9 | DEPMOD=$1 | 9 | DEPMOD=$1 |
| 10 | KERNELRELEASE=$2 | 10 | KERNELRELEASE=$2 |
| 11 | 11 | ||
| 12 | if ! "$DEPMOD" -V 2>/dev/null | grep -q module-init-tools; then | ||
| 13 | echo "Warning: you may need to install module-init-tools" >&2 | ||
| 14 | echo "See http://www.codemonkey.org.uk/docs/post-halloween-2.6.txt" >&2 | ||
| 15 | sleep 1 | ||
| 16 | fi | ||
| 17 | |||
| 18 | if ! test -r System.map -a -x "$DEPMOD"; then | 12 | if ! test -r System.map -a -x "$DEPMOD"; then |
| 19 | exit 0 | 13 | exit 0 |
| 20 | fi | 14 | fi |
