diff src/alloc.c @ 112:48d667d6f17f r20-1b8

Import from CVS: tag r20-1b8
author cvs
date Mon, 13 Aug 2007 09:20:48 +0200
parents fe104dbd9147
children 7d55a9ba150c
line wrap: on
line diff
--- a/src/alloc.c	Mon Aug 13 09:19:47 2007 +0200
+++ b/src/alloc.c	Mon Aug 13 09:20:48 2007 +0200
@@ -2738,11 +2738,11 @@
   clear_message ();
 
   if (rc < 0) {
+    (void)unlink("SATISFIED");
     fatal ("Pure size adjusted, will restart `make'");
   } else if (pure_lossage && die_if_pure_storage_exceeded) {
     fatal ("Pure storage exhausted");
   }
-  (void)sys_unlink("SATISFIED");
 }