redirfs-modules/redirfs.install

   1 post_install() {
   2   depmod -v  >/dev/null 2>&1
   3 }
   4
   5 post_upgrade() {
   6   post_install $1
   7 }
   8
   9 post_remove() {
  10   depmod -v  >/dev/null 2>&1
  11 }
  12
  13 op=$1
  14 shift
  15 $op $*