Add quick script for doing diffs between gsn_edf_split and gsn_edf

1 files changed, 12 insertions, 0 deletions

diff --git a/litmus/sanitize.pl b/litmus/sanitize.pl
new file mode 100644
index 000000000000..4092fef806de
--- /dev/null
+++ b/litmus/sanitize.pl
@@ -0,0 +1,12 @@
+# A quick hack to allow diff to work between sched_gsn_edf.c and
+# sched_gsn_edf_split.c
+open INFILE, "<sched_gsn_edf_split.c";
+open OUTFILE, ">sched_gsn_edf_split_namechange.c";
+while (my $line = <INFILE>){
+        $line =~ s/gsnedfsplit/gsnedf/g;
+        $line =~ s/GSN-EDF-split/GSN-EDF/g;
+        $line =~ s/edf_split/edf/g;
+        print OUTFILE $line;
+}
+close INFILE;
+close OUTFILE;