diff_tools/untime.awk

   1 # remove time stamp
   2 /^--- stock_/  { print $1 " " $2; next; }
   3 /^+++ moded_/ { print $1 " " $2; next; }
   4
   5 # convert obsolete form
   6 /^diff -Npru /  { sub(/diff -Npru /, "diff -NpruEbB "); }
   7 /stock-/  { sub(/stock-/, "stock_"); sub(/moded-/, "moded_"); print; next; }
   8
   9 # keep rest of file as is:
  10 { print; }