diff options
| -rwxr-xr-x | rc.d/rc.sysinit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rc.d/rc.sysinit b/rc.d/rc.sysinit index 5c1c82a1..da8830a5 100755 --- a/rc.d/rc.sysinit +++ b/rc.d/rc.sysinit @@ -107,6 +107,10 @@ if [ "$CLOCK" = "/sbin/clock" ]; then CLOCKDEF="$CLOCKDEF (srm)"; ;; esac + if grep -q "Jensen" /proc/cpuinfo >/dev/null 2>&1 ; then + CLOCKFLAGS="$CLOCKFLAGS -J"; + CLOCKDEF="$CLOCKDEF (jensen)"; + fi fi $CLOCK $CLOCKFLAGS |