Changes in benchmark/Makefile.in [13d2dac:1d72a11]

File:

• benchmark/Makefile.in (modified) (4 diffs)

benchmark/Makefile.in

@@ -823 +823 @@
 
 cleancsv:
-        rm -f compile.csv basic.csv ctxswitch.csv mutex.csv scheduling.csv
+        rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
 
 jenkins$(EXEEXT): cleancsv
@@ -834 +834 @@
         +make mutex.csv
         -+make mutex.diff.csv
-        +make scheduling.csv
-        -+make scheduling.diff.csv
+        +make schedint.csv
+        -+make schedint.diff.csv
 @DOifskipcompile@
         cat compile.csv
@@ -844 +844 @@
         cat mutex.csv
         -cat mutex.diff.csv
-        cat scheduling.csv
-        -cat scheduling.diff.csv
+        cat schedint.csv
+        -cat schedint.diff.csv
 
 compile.csv:
@@ -875 +875 @@
         $(srcdir)/fixcsv.sh $@
 
-scheduling.csv:
+schedint.csv:
         echo "building $@"
         echo "schedint-1,schedint-2,schedext-1,schedext-2" > $@