Skip to content

Commit

Permalink
Fix quotes
Browse files Browse the repository at this point in the history
  • Loading branch information
mjambon committed Jan 18, 2025
1 parent 8fd06ce commit f3ddea0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions scripts/check-backwards-compatibility
Original file line number Diff line number Diff line change
Expand Up @@ -47,15 +47,15 @@ for tag in $tags; do
# I'm getting an exit code 128 when atddiff returns 3 (as of git 2.43.0),
# contrary to what 'git difftool --help' promises for '--trust-exit-code'.
# I'd report the bug if it was easier. -- Martin
git difftool --trust-exit-code -x 'atddiff $atddiff_options' -y \
git difftool --trust-exit-code -x "atddiff $atddiff_options" -y \
"$tag" "origin/main" -- semgrep_output_v1.atd > before.txt
ret=$?
if [ "$ret" -ge 1 ] && [ "$ret" -le 2 ]; then
echo "ERROR: atddiff had an error: $ret"
cat before.txt
exit 1
fi
git difftool --trust-exit-code -x 'atddiff $atddiff_options' -y \
git difftool --trust-exit-code -x "atddiff $atddiff_options" -y \
"$tag" "HEAD" -- semgrep_output_v1.atd > after.txt
ret=$?
if [ "$ret" -ge 1 ] && [ "$ret" -le 2 ]; then
Expand Down

0 comments on commit f3ddea0

Please sign in to comment.