diff options
author | mveety <mveety@gmail.com> | 2013-01-29 21:48:57 -0500 |
---|---|---|
committer | mveety <mveety@gmail.com> | 2013-01-29 21:48:57 -0500 |
commit | e322e84f5f2c046dffa3613aa54be574c3a80fdd (patch) | |
tree | 119bd3103c8e9dc67cfd8c6f8bdd9d78308e9cb8 /rc/bin | |
parent | b8f88c803cdce340623d0dba3572704db045fa58 (diff) |
reverted changes to termrc
Diffstat (limited to 'rc/bin')
-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 { |