From 062bef37b16f6b06f3147ec90fd018f361a17207 Mon Sep 17 00:00:00 2001 From: wukong Date: Sat, 6 Dec 2025 00:22:16 -0800 Subject: merged changes from FreeBSD environment; --- ckcptime.awk | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'ckcptime.awk') 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()) -- cgit v1.2.3