📄 mkputty.mpw
字号:
# $Id: mkputty.mpw,v 1.1.1.1 2003/06/02 15:55:41 pekangas Exp $Set makefile Makefile.mpw# Run Make, then execute its output.Echo "# `Date -t` ----- Analyzing dependencies."Begin Echo "Set Echo 1" Make {"Parameters"} -f "{makefile}"End > make.outEcho "# `Date -t` ----- Executing build commands."make.outDelete make.outEcho "# `Date -t` ----- Done."
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -