差分

make

makeはRaspberry Pi 4でもそこそこ時間がかかります。