X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Ftest-pread.sh;h=cd4c04dc91104786210ceb45ba376c8357d9ca45;hb=6267b9ec0238f2b31c44644d75ce98e97349ef25;hp=0e0754d84d3cdbca776ed97e18b425100e71e7af;hpb=ebbfe98516776233fa7f40f2e44c8f23b54969de;p=pspp

diff --git a/tests/test-pread.sh b/tests/test-pread.sh
old mode 100644
new mode 100755
index 0e0754d84d..cd4c04dc91
--- a/tests/test-pread.sh
+++ b/tests/test-pread.sh
@@ -1,7 +1,7 @@
-: ${srcdir=.} ${builddir=.}
-. $srcdir/init.sh --set-path=$builddir
+#!/bin/sh
+. "${srcdir=.}/init.sh"; path_prepend_ .
 
-fail=0;
-test-pread || fail=1
+fail=0
+: | test-pread || fail=1
 
 Exit $fail