diff options
| -rwxr-xr-x | rc/bin/termrc | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/rc/bin/termrc b/rc/bin/termrc index 18a46fce8..046dde487 100755 --- a/rc/bin/termrc +++ b/rc/bin/termrc @@ -65,8 +65,14 @@ if(! test -e /net/dns) if(! ~ $terminal *vx32*){ # start timesync if it isn't running and we weren't told not to if(! ps|grep -s timesync) - if(! ~ $TIMESYNCARGS '') - aux/timesync $TIMESYNCARGS + if(! ~ $TIMESYNCARGS ''){ + # afaik the only arm platform we support is the rpi + # and time sync doesn't work on it. + if(! ~ $objtype arm) + aux/timesync $TIMESYNCARGS + if(~ $objtype arm) + echo 'timesync: use another source for time' + } } fn ask { |