X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fformats%2Fnum-out.sh;h=2d0932f7a8efe23f55ad80b6c37b0130d1947257;hb=fd38d03096803bf6705e95f4b389fac3dee1c62a;hp=f9a25c5d0e5f032216c1729f195999892330a09b;hpb=9c6eaf297d6220842264e72c44686b26d47474d1;p=pspp

diff --git a/tests/formats/num-out.sh b/tests/formats/num-out.sh
index f9a25c5d0e..2d0932f7a8 100755
--- a/tests/formats/num-out.sh
+++ b/tests/formats/num-out.sh
@@ -50,7 +50,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 echo -n .
 
 activity="inexactify results"
-$top_builddir/tests/formats/inexactify < output.txt > output.inexact
+$top_builddir/tests/formats/inexactify$EXEEXT < output.txt > output.inexact
 if [ $? -ne 0 ] ; then no_result ; fi
 echo -n .
 
@@ -65,7 +65,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 echo -n .
 
 activity="inexactify expected results"
-$top_builddir/tests/formats/inexactify < expected.txt > expected.inexact
+$top_builddir/tests/formats/inexactify$EXEEXT < expected.txt > expected.inexact
 if [ $? -ne 0 ] ; then no_result ; fi
 echo -n .