File tree 1 file changed +7
-2
lines changed
1 file changed +7
-2
lines changed Original file line number Diff line number Diff line change @@ -35,16 +35,21 @@ def execute_cmd(cmd):
35
35
git_mv_cmd = 'git mv %s %s' % (from_filename , to_filename )
36
36
execute_cmd (git_mv_cmd )
37
37
38
- # Replace "not --crash" with "not", and remove XFAIL lines .
38
+ # Replace "not --crash" with "not".
39
39
sed_replace_not_cmd = 'sed -e "s/not --crash/not/" -i "" %s' % (
40
40
to_filename )
41
41
execute_cmd (sed_replace_not_cmd )
42
42
43
43
# Remove "// XFAIL: whatever" lines.
44
- sed_remove_xfail_cmd = 'sed -e "s/^ \\ / \\ /.*XFAIL.*$// g" -i "" %s' % (
44
+ sed_remove_xfail_cmd = 'sed -e "s|^/ /.*XFAIL.*$|| g" -i "" %s' % (
45
45
to_filename )
46
46
execute_cmd (sed_remove_xfail_cmd )
47
47
48
+ # Remove "// REQUIRES: asserts" lines.
49
+ sed_remove_requires_asserts_cmd = \
50
+ 'sed -e "s|^//.*REQUIRES: asserts.*$||g" -i "" %s' % (to_filename )
51
+ execute_cmd (sed_remove_requires_asserts_cmd )
52
+
48
53
# "git add" the result.
49
54
git_add_cmd = 'git add %s' % (to_filename )
50
55
execute_cmd (git_add_cmd )
You can’t perform that action at this time.
0 commit comments