From: Paul Bédaride <paul.bedaride@gmail.com>
Date: Thu, 19 Dec 2013 15:21:45 +0000 (+0100)
Subject: Add doc to new tool
X-Git-Tag: v3_11_beta~161
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f9652ce82cfc59522683280b7cbcf1daf1b29180

Add doc to new tool
---

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index a1fc506f5d..6ee4a1c6d1 100755
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,4 +1,11 @@
 #!/usr/bin/python
+"""
+Tool for normalizing pointers such as two runs have the same 'addresses'
+
+first address encountered will be replaced by 0X0000001, second by 0X0000002, ...
+
+"""
+
 import sys, re
 
 if len(sys.argv)!=2: