1 # program to produce external time/frequence statistics from clockstats files
3 # usage: awk -f etf.awk clockstats
5 # format of input record
6 # 49165 40.473 127.127.10.1 93:178:00:00:39.238 ETF
7 # +175.0 +176.8 2.0 +3.729E-11 +1.000E-10 +3.511E-11 4.005E-13 500
9 # format of output record (time values in nanoseconds)
11 # 49165 40.473 175.0 3.729e-11
13 # select ETF records with valid format
15 if (NF >=
9 && $
5 ==
"ETF") {
16 printf "%5s %9.3f %7.1f %10.3e\n", $
1, $
2, $
6, $
9