1 files changed, 16 insertions, 0 deletions
diff --git a/utils/parallel/ghc-unfool-sort.pl b/utils/parallel/ghc-unfool-sort.pl
new file mode 100644
index 0000000000..90da222a5a
--- /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;