📄 make_webenv.sh.in
字号:
#! /bin/sh# $Id: make_webenv.sh.in,v 1000.1 2004/04/12 17:18:52 gouriano Exp $cd "@srcdir@" || exit 2if test ! -d webenv ; then mkdir webenvelse rm webenv/*.[hc]ppfiif test ! -x "@build_root@/bin/datatool" ; then echo Error: datatool not found exit 3fi"@build_root@/bin/datatool" \ -m twebenv.asn -oA -oph webenv -opc webenv -oc webenv -orqsed 's% "% "webenv/%' webenv/webenv__.cpp > we_cpp__.cppsed 's% "% "webenv/%' webenv/webenv___.cpp > we_cpp___.cpprm webenv/webenv__*.[hc]pp# # ===========================================================================# PRODUCTION $Log: make_webenv.sh.in,v $# PRODUCTION Revision 1000.1 2004/04/12 17:18:52 gouriano# PRODUCTION PRODUCTION: UPGRADED [CATCHUP_003] Dev-tree R1.4# PRODUCTION# ===========================================================================#
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -