X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fdata%2Fdatasheet-test.sh;h=41630b10bc6b5cc488353718409fd21062a1748e;hb=01e18746832583769419e3f59824b80229321275;hp=7de13e77f16e03d4a54a4af0dfd301ea9ae9a5bd;hpb=3bbb4370239deb29ebbf813d258aef6249e2a431;p=pspp

diff --git a/tests/data/datasheet-test.sh b/tests/data/datasheet-test.sh
index 7de13e77f1..41630b10bc 100755
--- a/tests/data/datasheet-test.sh
+++ b/tests/data/datasheet-test.sh
@@ -5,7 +5,7 @@
 set -e
 
 : ${top_builddir:=.}
-RUN_TEST="${top_builddir}/tests/data/datasheet-test --verbosity=0"
+RUN_TEST="${top_builddir}/tests/data/datasheet-test$EXEEXT --verbosity=0"
 
 $RUN_TEST --max-rows=3 --max-columns=3 --backing-rows=0 --backing-widths=
 $RUN_TEST --max-rows=3 --max-columns=3 --backing-rows=3 --backing-widths=0,0,0