following the fix for #1955, the .ps file is now in foo.ps, not foo.e…

…xe.ps on Windows
ghc · May 14, 2008 · b5a8f48 · b5a8f48
1 parent e296816
commit b5a8f48
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/driver/testlib.py b/driver/testlib.py
@@ -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)):