X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=utils%2Fparallel%2Fghc-unfool-sort.pl;fp=utils%2Fparallel%2Fghc-unfool-sort.pl;h=90da222a5a5ac1d3a561a868997751caa1a5c795;hb=0065d5ab628975892cea1ec7303f968c3338cbe1;hp=0000000000000000000000000000000000000000;hpb=28a464a75e14cece5db40f2765a29348273ff2d2;p=ghc-hetmet.git

diff --git a/utils/parallel/ghc-unfool-sort.pl b/utils/parallel/ghc-unfool-sort.pl
new file mode 100644
index 0000000..90da222
--- /dev/null
+++ b/utils/parallel/ghc-unfool-sort.pl
@@ -0,0 +1,16 @@
+##############################################################################
+#
+# Usage: unfool-sort 
+#
+# Reads stdin, elimininates the second field (a dummy counter that has been 
+# inserted by fool-sort) of each line and writes the result to stdout.
+# See documentation of fool-sort.
+#
+##############################################################################
+
+while (<STDIN>) {
+    ($time, $dummy, @rest) = split;
+    print join(' ',$time,@rest) . "\n";
+}
+
+exit 0;