following the fix for #1955, the .ps file is now in foo.ps, not foo.exe.ps on Windows
authorSimon Marlow <simonmar@microsoft.com>
Wed, 14 May 2008 13:05:08 +0000 (13:05 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Wed, 14 May 2008 13:05:08 +0000 (13:05 +0000)
testsuite/driver/testlib.py

index 6483c12..f34dd22 100644 (file)
@@ -1040,10 +1040,7 @@ def check_hp_ok(name):
 
     hp2psResult = runCmdExitCode(hp2psCmd)
 
-    if config.platform == 'i386-unknown-mingw32':
-        actual_ps_file = qualify(name, 'exe.ps')
-    else:   
-        actual_ps_file = qualify(name, 'ps')
+    actual_ps_file = qualify(name, 'ps')
     
     if(hp2psResult == 0):
         if (os.path.exists(actual_ps_file)):