nashorn/bin/rundiff.sh
author kizune
Mon, 03 Feb 2014 21:48:46 +0400
changeset 25527 9df990320e71
parent 24719 f726e9d67629
permissions -rw-r--r--
8029177: [Parfait] warnings from b117 for jdk.src.share.native.com.sun.java.util.jar: JNI exception pending Summary: Additional review by Chris Ries Reviewed-by: jfranck, ksrini

#!/bin/sh

# do two runs of a script, one optimistic and one pessimistic, expect identical outputs
# if not, display and error message and a diff

which opendiff >/dev/null
RES=$?
if [ $RES = 0 ]; then
    DIFFTOOL=opendiff
else
    DIFFTOOL=diff
fi

OPTIMISTIC=out_optimistic
PESSIMISTIC=out_pessimistic
$JAVA_HOME/bin/java -ea -jar ../dist/nashorn.jar ${@} >$PESSIMISTIC
$JAVA_HOME/bin/java -ea -Dnashorn.optimistic -jar ../dist/nashorn.jar ${@} >$OPTIMISTIC

if ! diff -q $PESSIMISTIC $OPTIMISTIC >/dev/null ; then
    echo "Failure! Results are different"
    echo ""
    $DIFFTOOL $PESSIMISTIC $OPTIMISTIC
else
    echo "OK - Results are identical"
fi