Permalink
Browse files

fix detection of awk flush

  • Loading branch information...
1 parent eaf26c2 commit 4bbcab99447a9e13c82ed72989d0196d16e818bb @mpapis mpapis committed Aug 2, 2012
Showing with 3 additions and 3 deletions.
  1. +3 −3 core/sm/shell/log/functions
@@ -629,9 +629,9 @@ __sm.log.streams()
__sm.log.dotted()
{
typeset flush
- if awk --version 2>/dev/null | grep -i gnu >/dev/null
- then flush=flush
- else flush=fflush
+ if awk '{fflush;}' <<<EO 2>/dev/null
+ then flush=fflush
+ else flush=flush
fi
awk '{printf "."; '$flush';}'
}

0 comments on commit 4bbcab9

Please sign in to comment.