diff options
| author | wukong <wukong@longaeva> | 2025-12-06 00:22:16 -0800 |
|---|---|---|
| committer | wukong <wukong@longaeva> | 2025-12-06 00:22:16 -0800 |
| commit | 062bef37b16f6b06f3147ec90fd018f361a17207 (patch) | |
| tree | 881b60eafc0140ebe2647cf3fba53ef5c59150b3 /ckcptime.awk | |
| parent | a57c9ad6feac3417bfef88395a4b1ab8c6995867 (diff) | |
merged changes from FreeBSD environment;
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()) |