Index: src/benchmark/Makefile.in
===================================================================
--- src/benchmark/Makefile.in	(revision df47e2fe44d197c175959e907b74622b64a8430e)
+++ src/benchmark/Makefile.in	(revision 4845ae2748facdf39ec2df3aaba15448ed6cd16f)
@@ -492,4 +492,11 @@
 	@rm -f ./a.out
 
+sched-int:
+	${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -DN=10000000 SchedInt.c
+	@for number in 1 2 3 4 5 6 7 8 9 10; do \
+                ./a.out ; \
+        done
+	@rm -f ./a.out
+
 csv-data:
 	@${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -quiet -DN=10000000 csv-data.c