upgrade to new version 0.3.1

[orte.git] / admin / modtool.in

diff --git a/admin/modtool.in b/admin/modtool.in
deleted file mode 100755 (executable)
index 232a0ed..0000000
--- a/admin/modtool.in
+++ /dev/null
@@ -1,37 +0,0 @@
-#!/bin/bash
-
-LINUX_LD="@LINUX_LD@"
-CC="@CC@"
-INSTALL="@INSTALL@"
-LINUX_MODULE_EXT="@LINUX_MODULE_EXT@"
-STRIP="@STRIP@"
-
-#echo modtool $*
-
-mode=$1
-shift
-
-case $mode in
---link)
-       echo $LINUX_LD -r $*
-       $LINUX_LD -r $*
-       ;;
---install)
-       module_src=$1
-       module_dest=`echo $2 | sed "s/\.ko$/${LINUX_MODULE_EXT}/"`
-       echo $INSTALL -m644 "$module_src" "$module_dest"
-       $INSTALL -m644 "$module_src" "$module_dest"
-       $STRIP -g "$module_dest"
-       ;;
---uninstall)
-       module_src=$1
-       module_dest=`echo $2 | sed "s/\.ko$/${LINUX_MODULE_EXT}/"`
-       echo uninstall "$module_src" "$module_dest"
-       rm -f "$module_dest"
-       ;;
-*)
-       echo Unknown mode $mode >&2
-       exit 1
-esac
-
-