diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-02-04 15:43:20 -0500 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-02-04 15:43:20 -0500 |
| commit | ebb4ff3ebc39d202da85be8da9dc3402c58a587b (patch) | |
| tree | 8b5c35bf33005e7d75d779b2d05777e9dbac5e5b | |
| parent | 1fe666d52dd2d2318d2a79ffce9cff47f9b34e3c (diff) | |
| -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 | ||
