From 48d32e80f1f83aa15bcd7a882c9503ddc884fd26 Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Fri, 12 Feb 2016 20:59:50 +0100
Subject: [PATCH] no need for this awk checker anymore

---
 src/xbt/mmalloc/mmtrace.awk      | 36 --------------------------------
 tools/cmake/DefinePackages.cmake |  1 -
 2 files changed, 37 deletions(-)
 delete mode 100644 src/xbt/mmalloc/mmtrace.awk

diff --git a/src/xbt/mmalloc/mmtrace.awk b/src/xbt/mmalloc/mmtrace.awk
deleted file mode 100644
index d7689cec3f..0000000000
--- a/src/xbt/mmalloc/mmtrace.awk
+++ /dev/null
@@ -1,36 +0,0 @@
-#
-#  Awk program to analyze mtrace.c output.
-#
-$1 == "+"	{ if (allocated[$2] != "")
-		    print "+", $2, "Alloc", NR, "duplicate:", allocated[$2];
-		  else
-		    allocated[$2] = $3;
-		}
-$1 == "-"	{ if (allocated[$2] != "") {
-		    allocated[$2] = "";
-		    if (allocated[$2] != "")
-			print "DELETE FAILED", $2, allocated[$2];
-		  } else
-		    print "-", $2, "Free", NR, "was never alloc'd";
-		}
-$1 == "<"	{ if (allocated[$2] != "")
-		    allocated[$2] = "";
-		  else
-		    print "-", $2, "Realloc", NR, "was never alloc'd";
-		}
-$1 == ">"	{ if (allocated[$2] != "")
-		    print "+", $2, "Realloc", NR, "duplicate:", allocated[$2];
-		  else
-		    allocated[$2] = $3;
-		}
-
-# Ignore "= Start"
-$1 == "="	{ }
-# Ignore failed realloc attempts for now
-$1 == "!"	{ }
-
-
-END		{ for (x in allocated) 
-		    if (allocated[x] != "")
-		      print "+", x, allocated[x];
-		}
diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 32051f7388..243d882aca 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -114,7 +114,6 @@ set(EXTRA_DIST
   src/xbt/mmalloc/mmalloc.texi
   src/xbt/mmalloc/mmorecore.c
   src/xbt/mmalloc/mmprivate.h
-  src/xbt/mmalloc/mmtrace.awk
   src/xbt/mmalloc/mrealloc.c
   src/xbt/probes.h
   src/xbt/win32_ucontext.c
-- 
2.20.1