X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Foverwrite-input-file.sh;h=f1beabcca59d37aebeda13163816dba823a4fb1c;hb=cd36f412b771fe2d88d2c3d9a9809f288afa38ca;hp=cbb29b42cf68a178ba443f80e4d91c5855fb71f7;hpb=cb062bfc8fa1b1477de31fd8a0f072f4bcf3d6b1;p=pspp

diff --git a/tests/bugs/overwrite-input-file.sh b/tests/bugs/overwrite-input-file.sh
index cbb29b42cf..f1beabcca5 100755
--- a/tests/bugs/overwrite-input-file.sh
+++ b/tests/bugs/overwrite-input-file.sh
@@ -98,7 +98,7 @@ COMPUTE Y = X + 1.
 XSAVE OUTFILE='foo.sav'.
 XEXPORT OUTFILE='foo.por'.
 PRINT OUTFILE='foo.data'.
-HOST kill -TERM \$PPID
+HOST COMMAND=['kill -TERM \$PPID'].
 EOF
 if [ $? -ne 0 ] ; then no_result ; fi