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 | ||
