📄 milestone.pl.in
字号:
#! @PERL@# @configure_input@# milestone.pl# Distill milestone data from LK output.# It doesn't handle lower bound names with embedded spaces. Alas.#$number_expr = "(-?\\d+\\.?\\d*|\\.\\d+)"; # See Programming Perl$milestone_expr = "\\s+$number_expr% above \\S+ after $number_expr";open(IN, "zcat @ARGV |"); # Uncompress input files.open(MOUT ,">milestone.gpl") || die "Can't open milestone.gpl for writing";while(<IN>) { if( m/^Initial milestone:$milestone_expr/o) { print MOUT "$2 $1\n"; } elsif( m/^Milestone:$milestone_expr/o) { print MOUT "$2 $1\n"; } elsif( m/^LK phase ended .* after $number_expr sec for LK/o) { $end_time = $1; } elsif( m/^Final milestone: $number_expr\% above/o) { print MOUT "$end_time $1\n"; }}close(MOUT);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -