diff options
Diffstat (limited to 'ckcptime.awk')
| -rw-r--r-- | ckcptime.awk | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ckcptime.awk b/ckcptime.awk index 9d8d5a7..e6c88d1 100644 --- a/ckcptime.awk +++ b/ckcptime.awk @@ -1,7 +1,9 @@ #!/usr/bin/env awk -f -function log10(n) { return log(n)/log(10.0) } +function log10(n) { + return log(n)/log(10.0) +} function merge_meas(est_val, est_unc, meas_val, meas_unc) { @@ -135,9 +137,6 @@ function ck_uptime(t0_est, t0_unc) { BEGIN { OFMT="%.21g" - pi = 4.0*atan2(1.0, 1.0) - c0 = 299792458 # m/sec - #print("_systime_", systime()) #print("_boottime_", ck_boottime()) printf("%s" ORS, ck_cptime()) |