kill a useless file

[simgrid.git] / tools / doxygen / xbt_log_extract_hierarchy.pl

diff --git a/tools/doxygen/xbt_log_extract_hierarchy.pl b/tools/doxygen/xbt_log_extract_hierarchy.pl
index 28db032..adc5dfe 100755 (executable)
--- a/tools/doxygen/xbt_log_extract_hierarchy.pl
+++ b/tools/doxygen/xbt_log_extract_hierarchy.pl
@@ -94,6 +94,7 @@ while (my $file=<FILES>) {
     chomp $file;
     parse_file($file);         
 }
+parse_file("../include/xbt/sysdep.h"); 
 close FILES;
 
 # Display the tree, looking for disconnected elems