Commit f58d2708 authored by Kim Nguyễn's avatar Kim Nguyễn

Make the pretty-printing test suite more resilient to multiline output.

parent 355dbbf1
......@@ -32,7 +32,7 @@ do
echo 'include "prologue.cd";;' > "$TMP"
echo "debug subtype $test;;" >> "$TMP"
res=`"$CDUCE" -I "$DIR" < "$TMP" 2>&1 | grep '<=' | sed -e 's/^.*: \(true\|false\)$/\1/'`
res=`"$CDUCE" -I "$DIR" < "$TMP" 2>&1 | sed -n -e 's/^.*: \(true\|false\)$/\1/p'`
rm -f "$TMP"o "$TMP"
if test "$res" != "true";
then
......
Markdown is supported
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