diff options
-rwxr-xr-x | arm-install-modules.sh | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/arm-install-modules.sh b/arm-install-modules.sh new file mode 100755 index 0000000..b5f7b63 --- /dev/null +++ b/arm-install-modules.sh | |||
@@ -0,0 +1,31 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | set -e | ||
4 | set -u | ||
5 | |||
6 | MOD_ROOT="/home/$USER/modules" | ||
7 | RELEASE_FILE="include/config/kernel.release" | ||
8 | |||
9 | error() { | ||
10 | echo "$@" >&2 | ||
11 | exit 1 | ||
12 | } | ||
13 | |||
14 | set +e | ||
15 | VERSION=$(cat $RELEASE_FILE) | ||
16 | set -e | ||
17 | if [ "x" = "x$VERSION" ] ; then | ||
18 | error "Could not determine version." | ||
19 | fi | ||
20 | |||
21 | MOD_DIR="$MOD_ROOT/$VERSION" | ||
22 | |||
23 | if [ -d "$MOD_DIR" ] ; then | ||
24 | rm -rf "$MOD_DIR" | ||
25 | fi | ||
26 | |||
27 | if [ ! -d "$MOD_DIR" ] ; then | ||
28 | mkdir -p "$MOD_DIR" | ||
29 | fi | ||
30 | |||
31 | make modules_install INSTALL_MOD_PATH=$MOD_DIR | ||