#!/bin/sh

set -e

case "$1" in
    configure)
        if ! grep -q '^ipmi_devintf$' /etc/modules; then
            echo "ipmi_devintf" >> /etc/modules ||:
        fi
        ;;
esac



exit 0