X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flibpspp%2Fsparse-xarray-test.sh;h=71829dbdc02af220f8d9b042665ca22ea8493fe9;hb=7c6e9646a94126a410fab4d00714396b98923230;hp=87defa9660942a19043c50d6eac5f33effaeb6d5;hpb=db714493fb4cfee9aac97f897aaa795d5beb85ee;p=pspp

diff --git a/tests/libpspp/sparse-xarray-test.sh b/tests/libpspp/sparse-xarray-test.sh
index 87defa9660..71829dbdc0 100755
--- a/tests/libpspp/sparse-xarray-test.sh
+++ b/tests/libpspp/sparse-xarray-test.sh
@@ -5,7 +5,7 @@
 set -e
 
 : ${top_builddir:=.}
-RUN_TEST="${top_builddir}/tests/libpspp/sparse-xarray-test --verbosity=0"
+RUN_TEST="${top_builddir}/tests/libpspp/sparse-xarray-test$EXEEXT --verbosity=0"
 
 # Each on-disk sparse_xarray eats up a file descriptor, so for the
 # tests that involve on-disk sparse_xarrays we need to limit the