utils/parallel/ghc-unfool-sort.pl

   1 ##############################################################################
   2 #
   3 # Usage: unfool-sort
   4 #
   5 # Reads stdin, elimininates the second field (a dummy counter that has been
   6 # inserted by fool-sort) of each line and writes the result to stdout.
   7 # See documentation of fool-sort.
   8 #
   9 ##############################################################################
  10
  11 while (<STDIN>) {
  12     ($time, $dummy, @rest) = split;
  13     print join(' ',$time,@rest) . "\n";
  14 }
  15
  16 exit 0;