Commit ff03ab4f authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

work around BSD sed not interpreting \r in s/$/\r/

* src/kripketest/bad_parsing.test, src/tgbatest/neverclaimread.test,
src/tgbatest/readsave.test: Use Perl for the unix2dos conversion.
parent 7619a5a0
......@@ -68,7 +68,7 @@ cat output | grep -v + > res
diff expected res
# The diagnostic should be the same with DOS return lines
sed 's/$/\r/' input > input.dos
perl -pe 's/$/\r/' input > input.dos
mv input.dos input
run 1 ../parse_print input 2> output
cat output | grep -v + > res
......
......@@ -288,7 +288,7 @@ grep input: stderr > stderrfilt
diff stderrfilt expected-err
# DOS-style new lines should have the same output.
sed 's/$/\r/g' input > input.dos
perl -pe 's/$/\r/' input > input.dos
mv input.dos input
run 2 ../ltl2tgba -ks -XN input > stdout 2>stderr
cat stderr
......
#!/bin/sh
# Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et Dveloppement
# de l'Epita (LRDE).
# Copyright (C) 2009, 2010, 2012, 2014 Laboratoire de Recherche et
# Dveloppement de l'Epita (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# dpartement Systmes Rpartis Coopratifs (SRC), Universit Pierre
# et Marie Curie.
......@@ -116,7 +116,7 @@ EOF
diff stderrfilt expected
# The diagnostic should be the same with DOS input
sed 's/$/\r/' input > input.dos
perl -pe 's/$/\r/' input > input.dos
mv input.dos input
run 2 ../ltl2tgba -b -X input > stdout 2>stderr
cat stderr
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment