make

grdiv / 2023-05-29 / 原文

  1. 今日学习:make根据文件时间戳判断是否有更新,进而决定是否编译。可以touch文件后编译。