File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -27,21 +27,21 @@ for tag in $tags; do
27
27
28
28
set +e # do our own error handling for a bit
29
29
echo " Checking backward compatibility of semgrep_output_v1.atd against past version $tag "
30
- git difftool --trust-exit-code -x ' atddiff --no-locations --backward' -y " $tag " " origin/main" semgrep_output_v1.atd | tee before.txt
30
+ git difftool --trust-exit-code -x ' atddiff --no-locations --backward' -y " $tag " " origin/main" semgrep_output_v1.atd > before.txt
31
31
ret=$?
32
32
if [ " $ret " -ge 1 ] && [ " $ret " -le 2 ]; then
33
33
echo " ERROR: atddiff had an error: $? "
34
+ cat before.txt
34
35
exit 1
35
36
fi
36
- git difftool --trust-exit-code -x ' atddiff --no-locations --backward' -y " $tag " " HEAD" semgrep_output_v1.atd | tee after.txt
37
+ git difftool --trust-exit-code -x ' atddiff --no-locations --backward' -y " $tag " " HEAD" semgrep_output_v1.atd > after.txt
37
38
ret=$?
38
39
if [ " $ret " -ge 1 ] && [ " $ret " -le 2 ]; then
39
40
echo " ERROR: atddiff had an error: $? "
41
+ cat after.txt
40
42
exit 1
41
43
fi
42
44
43
- # neccesary because filenames have temp paths and line numbers can change without causing issues
44
- # expr='s|File "/.*/\(.*.atd\)", line .*$|File "\1", line <removed for diff>|g'
45
45
diff -u <( cat before.txt) <( cat after.txt)
46
46
if [ " $? " -ne 0 ]; then
47
47
echo " ERROR: semgrep_output_v1.atd is not backward compatible with $tag "
You can’t perform that action at this time.
0 commit comments