diff src/alloc.c @ 34:d620409f5eb8 r19-15b100

Import from CVS: tag r19-15b100
author cvs
date Mon, 13 Aug 2007 08:53:20 +0200
parents e04119814345
children 56c54cf7c5b6
line wrap: on
line diff
--- a/src/alloc.c	Mon Aug 13 08:52:58 2007 +0200
+++ b/src/alloc.c	Mon Aug 13 08:53:20 2007 +0200
@@ -2711,11 +2711,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");
 }