#!/bin/sh - CMD="$1" shift; . refclocks/setup case "$CMD" in info) echo " DATUM - use Datum Programmable Time System" ;; check) if check "$RCONFIG" '$0 ~ /DATUM/'; then echo "DATUM - Datum Programmable Time System" fi ;; config) if check "$REFCONF" '$0 ~ /DATUM/' || ( [ ! "$REFCONF" ] && query "Include DATUM reference support (DATUM)" n); then echo "-DDATUM" >> $RCONFIG fi ;; esac