set_rt_mode.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#include <stdio.h>
#include <strings.h>
#include <stdlib.h>
#include "litmus.h"


int main(int argc, char** argv) 
{
	if (argc == 2) {
		if (!strcmp(argv[1], "on")) {
			printf("Enabling real-time mode.\n");
			set_rt_mode(MODE_RT_RUN);			
			exit(0);
		} else if (!strcmp(argv[1], "off")) {
			printf("Disabling real-time mode.\n");
			set_rt_mode(MODE_NON_RT);			
			exit(0);
		} 
	}
	printf("Usage: %s {on|off}\n", argv[0]);
	return 1;	
}