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