diff options
| -rwxr-xr-x | rc/bin/termrc | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/rc/bin/termrc b/rc/bin/termrc index 046dde487..18a46fce8 100755 --- a/rc/bin/termrc +++ b/rc/bin/termrc @@ -65,14 +65,8 @@ 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 ''){ - # 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' - } + if(! ~ $TIMESYNCARGS '') + aux/timesync $TIMESYNCARGS } fn ask { |