Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
机器未来
Paddle
提交
0c6baf3c
P
Paddle
项目概览
机器未来
/
Paddle
与 Fork 源项目一致
Fork自
PaddlePaddle / Paddle
通知
1
Star
1
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
1
列表
看板
标记
里程碑
合并请求
0
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
P
Paddle
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
1
Issue
1
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
提交
Issue看板
未验证
提交
0c6baf3c
编写于
5月 13, 2022
作者:
L
Leo Chen
提交者:
GitHub
5月 13, 2022
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
refine directory of build-time (#42717)
上级
99c9265f
变更
2
显示空白变更内容
内联
并排
Showing
2 changed file
with
5 addition
and
4 deletion
+5
-4
CMakeLists.txt
CMakeLists.txt
+2
-2
tools/get_build_time.sh
tools/get_build_time.sh
+3
-2
未找到文件。
CMakeLists.txt
浏览文件 @
0c6baf3c
...
...
@@ -256,8 +256,8 @@ option(WITH_CUSTOM_DEVICE "Compile with custom device support" OFF)
option
(
WITH_ARM_BRPC
"Supprot Brpc in Arm"
OFF
)
if
(
WITH_RECORD_BUILDTIME
)
set_property
(
GLOBAL PROPERTY RULE_LAUNCH_COMPILE
"
${
CMAKE_CURRENT_SOURCE_DIR
}
/tools/get_build_time.sh"
)
set_property
(
GLOBAL PROPERTY RULE_LAUNCH_LINK
"
${
CMAKE_CURRENT_SOURCE_DIR
}
/tools/get_build_time.sh"
)
set_property
(
GLOBAL PROPERTY RULE_LAUNCH_COMPILE
"
${
CMAKE_CURRENT_SOURCE_DIR
}
/tools/get_build_time.sh
${
CMAKE_CURRENT_BINARY_DIR
}
"
)
set_property
(
GLOBAL PROPERTY RULE_LAUNCH_LINK
"
${
CMAKE_CURRENT_SOURCE_DIR
}
/tools/get_build_time.sh
${
CMAKE_CURRENT_BINARY_DIR
}
"
)
else
()
include
(
ccache
)
# set ccache for compilation ; if WITH_RECORD_BUILDTIME=ON can't use ccache
endif
()
...
...
tools/get_build_time.sh
浏览文件 @
0c6baf3c
...
...
@@ -14,9 +14,10 @@
# See the License for the specific language governing permissions and
# limitations under the License.
CUR_ROOT
=
$(
dirname
"
$0
"
)
/..
CMAKE_BINARY_DIR
=
$1
shift
start
=
$(
date
+%s.%N
)
duration
=
$(
"/usr/bin/time"
-f
"%C, %E elapsed, %U user, %S sys"
"
$@
"
2>&1
)
end
=
$(
date
+%s.%N
)
echo
${
duration
}
,
'start'
,
$start
,
'end'
,
$end
,
'process'
,
$$
>>
$C
UR_ROOT
/build
/build-time
echo
${
duration
}
,
'start'
,
$start
,
'end'
,
$end
,
'process'
,
$$
>>
$C
MAKE_BINARY_DIR
/build-time
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录