Index: benchmark/Makefile.am
===================================================================
--- benchmark/Makefile.am	(revision 1d72a114ba5299f58ce9efac3223c109bf97b89e)
+++ benchmark/Makefile.am	(revision e59e66394cd4e1bfeeaec2adeaf10464f80f68ca)
@@ -144,5 +144,5 @@
 
 cleancsv:
-	rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
+	rm -f compile.csv basic.csv ctxswitch.csv mutex.csv scheduling.csv
 
 jenkins$(EXEEXT): cleancsv
@@ -155,6 +155,6 @@
 	+make mutex.csv
 	-+make mutex.diff.csv
-	+make schedint.csv
-	-+make schedint.diff.csv
+	+make scheduling.csv
+	-+make scheduling.diff.csv
 @DOifskipcompile@
 	cat compile.csv
@@ -165,6 +165,6 @@
 	cat mutex.csv
 	-cat mutex.diff.csv
-	cat schedint.csv
-	-cat schedint.diff.csv
+	cat scheduling.csv
+	-cat scheduling.diff.csv
 
 compile.csv:
@@ -196,5 +196,5 @@
 	$(srcdir)/fixcsv.sh $@
 
-schedint.csv:
+scheduling.csv:
 	echo "building $@"
 	echo "schedint-1,schedint-2,schedext-1,schedext-2" > $@
Index: benchmark/Makefile.in
===================================================================
--- benchmark/Makefile.in	(revision 1d72a114ba5299f58ce9efac3223c109bf97b89e)
+++ benchmark/Makefile.in	(revision e59e66394cd4e1bfeeaec2adeaf10464f80f68ca)
@@ -823,5 +823,5 @@
 
 cleancsv:
-	rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
+	rm -f compile.csv basic.csv ctxswitch.csv mutex.csv scheduling.csv
 
 jenkins$(EXEEXT): cleancsv
@@ -834,6 +834,6 @@
 	+make mutex.csv
 	-+make mutex.diff.csv
-	+make schedint.csv
-	-+make schedint.diff.csv
+	+make scheduling.csv
+	-+make scheduling.diff.csv
 @DOifskipcompile@
 	cat compile.csv
@@ -844,6 +844,6 @@
 	cat mutex.csv
 	-cat mutex.diff.csv
-	cat schedint.csv
-	-cat schedint.diff.csv
+	cat scheduling.csv
+	-cat scheduling.diff.csv
 
 compile.csv:
@@ -875,5 +875,5 @@
 	$(srcdir)/fixcsv.sh $@
 
-schedint.csv:
+scheduling.csv:
 	echo "building $@"
 	echo "schedint-1,schedint-2,schedext-1,schedext-2" > $@