LinuxSir.cn,穿越时空的Linuxsir!

 找回密码
 注册
搜索
热搜: shell linux mysql
查看: 1080|回复: 4

make命令中断之后可以继续运行吗?

[复制链接]
发表于 2010-6-19 21:33:01 | 显示全部楼层 |阅读模式
如题。比如GCC的make,时间实在太长,是否可以中断之后继续make?
发表于 2010-6-19 22:28:10 | 显示全部楼层
按道理说应该可以~~~
回复 支持 反对

使用道具 举报

发表于 2010-6-20 12:46:42 | 显示全部楼层
可以,我就这么干过,但是他应该是从头又开始的吧,前面的编译过的应该只是检查一遍,也没感觉快多少
回复 支持 反对

使用道具 举报

发表于 2010-6-20 13:16:30 | 显示全部楼层
Ctrl_C 接着马上 make 末问题。

关机、重启,重新 make 可能出问题,如环境变量改变或未定义。

make 检查目标文件时间戳,如果 bt 点,可以让 make 无限循环下去。
用 root 权限锁定系统时间:
  1. while true; do date xxxxxxxxxxxxxxxxx; sleep 1; done &
复制代码
回复 支持 反对

使用道具 举报

 楼主| 发表于 2010-6-22 16:25:46 | 显示全部楼层
Post by 聚焦深空;2097552
Ctrl_C 接着马上 make 末问题。

关机、重启,重新 make 可能出问题,如环境变量改变或未定义。

make 检查目标文件时间戳,如果 bt 点,可以让 make 无限循环下去。
用 root 权限锁定系统时间:
  1. while true; do date xxxxxxxxxxxxxxxxx; sleep 1; done &
复制代码


多谢,也谢谢LS各位了。。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

快速回复 返回顶部 返回列表