# HG changeset patch
# User diego
# Date 1189428872 0
# Node ID 16d5efcad1f79bfcc78a557f291244f9587bfb7f
# Parent  d7f252c2e3a655e5d4530756073c06ba47b5d346
warning fix:
ext.c: At top level:
ext.c:316: warning: 'mapping_size' defined but not used

diff -r d7f252c2e3a6 -r 16d5efcad1f7 loader/ext.c
--- a/loader/ext.c	Mon Sep 10 12:51:26 2007 +0000
+++ b/loader/ext.c	Mon Sep 10 12:54:32 2007 +0000
@@ -313,7 +313,6 @@
       printf("offsets larger than 4Gb not supported\n");
     return munmap( start, size_low );
 }
-static int mapping_size=0;
 
 struct file_mapping_s;
 typedef struct file_mapping_s