9fcf507f17
PR: ports/80592 Submitted by: Frank W. Josellis <frank@dynamical-systems.org> (maintainer)
20 lines
407 B
Bash
20 lines
407 B
Bash
#!/bin/sh
|
|
|
|
case $2 in
|
|
POST-INSTALL)
|
|
if [ ! -c /dev/pcfclock0 ]; then
|
|
rv=1
|
|
if [ -x /dev/MAKEDEV ]; then
|
|
( cd /dev && ./MAKEDEV pcfclock0 )
|
|
rv=$?
|
|
fi
|
|
|
|
if [ ${rv} = 0 ]; then
|
|
echo "$2: Device special file /dev/pcfclock0 created"
|
|
else
|
|
echo "$2: Unexpected failure creating /dev/pcfclock0"
|
|
echo "$2: Try 'cd /dev ; mknod pcfclock0 c 140 0 root:wheel'"
|
|
fi
|
|
fi
|
|
;;
|
|
esac
|