Linuxマシンでmakeを実行すると
make: warning: Clock skew detected. Your build may be incomplete.
と出てきて、時刻が同期されていないことが判明した。
今どきは systemd-timesyncd を使うのが良いらしい。参考: systemd-timesyncd – ArchWiki
/etc/systemd/timesyncd.conf の中身を確認すると
[Time] #NTP= #FallbackNTP=0.debian.pool.ntp.org 1.debian.pool.ntp.org 2.debian.pool.ntp.org 3.debian.pool.ntp.org #RootDistanceMaxSec=5 #PollIntervalMinSec=32 #PollIntervalMaxSec=2048 #ConnectionRetrySec=30 #SaveIntervalSec=60
のように、全てコメントアウトされている。
syslogによれば、
2025-07-30T16:58:29.847265+09:00 xxxxxxx systemd[1]: Starting systemd-timesyncd.service - Network Time Synchronization... 2025-07-30T16:58:29.886761+09:00 xxxxxxx systemd[1]: Started systemd-timesyncd.service - Network Time Synchronization. 2025-07-30T16:58:29.887208+09:00 xxxxxxx systemd[1]: Reached target time-set.target - System Time Set. 2025-07-30T17:01:40.248754+09:00 xxxxxxx systemd-timesyncd[21334]: Contacted time server 202.181.103.212:123 (0.debian.pool.ntp.org). 2025-07-30T17:01:40.248843+09:00 xxxxxxx systemd-timesyncd[21334]: Initial clock synchronization to Wed 2025-07-30 17:01:40.248365 JST.
となっている。何も設定しなくても 0.debian.pool.ntp.org に接続するようだ。
