Rev 12161 | Rev 12933 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 12161 | Rev 12302 | ||
---|---|---|---|
Line 7... | Line 7... | ||
7 | grep "#define MAX_EXAMS" wimsdef.h | awk -F'#define MAX_EXAMS' ' {print "MAX_EXAMS="$2 ; exit}' |
7 | grep "#define MAX_EXAMS" wimsdef.h | awk -F'#define MAX_EXAMS' ' {print "MAX_EXAMS="$2 ; exit}' |
8 | grep "#define MAX_VOTES" wimsdef.h | awk -F'#define MAX_VOTES' ' {print "MAX_VOTES="$2 ; exit}' |
8 | grep "#define MAX_VOTES" wimsdef.h | awk -F'#define MAX_VOTES' ' {print "MAX_VOTES="$2 ; exit}' |
9 | grep "#define MAX_OEFCHOICES" wimsdef.h | awk -F'#define MAX_OEFCHOICES' ' {print "MAX_OEFCHOICES="$2 ; exit}' |
9 | grep "#define MAX_OEFCHOICES" wimsdef.h | awk -F'#define MAX_OEFCHOICES' ' {print "MAX_OEFCHOICES="$2 ; exit}' |
10 | grep "#define MAX_OEFREPLIES" wimsdef.h | awk -F'#define MAX_OEFREPLIES' ' {print "MAX_OEFREPLIES="$2 ; exit}' |
10 | grep "#define MAX_OEFREPLIES" wimsdef.h | awk -F'#define MAX_OEFREPLIES' ' {print "MAX_OEFREPLIES="$2 ; exit}' |
11 | grep "#define MAX_TECHVARVAL" wimsdef.h | awk -F'#define MAX_TECHVARVAL' ' {print "MAX_TECHVARVAL="$2 ; exit}' |
11 | grep "#define MAX_TECHVARVAL" wimsdef.h | awk -F'#define MAX_TECHVARVAL' ' {print "MAX_TECHVARVAL="$2 ; exit}' |
- | 12 | grep "#define MAX_SEEDSCORE" wimsdef.h | awk -F'#define MAX_SEEDSCORE' ' {print "MAX_SEEDSCORE="$2 ; exit}' |
|
- | 13 | grep "#define MAX_SCORESEED" wimsdef.h | awk -F'#define MAX_SCORESEED' ' {print "MAX_SCORESEED="$2 ; exit}' |
|
12 | grep "#define MAX_PROMPTLEN" OefMsg2wims/oef2wims.h | awk -F'#define MAX_PROMPTLEN' ' {print "MAX_PROMPTLEN="$2 ; exit}' |
14 | grep "#define MAX_PROMPTLEN" OefMsg2wims/oef2wims.h | awk -F'#define MAX_PROMPTLEN' ' {print "MAX_PROMPTLEN="$2 ; exit}' |
13 | echo "DEBUG_MODULE=qualite@wimsedu.info" |
15 | echo "DEBUG_MODULE=qualite@wimsedu.info" |
14 | echo "DF_SEVERITY=1 2 1" |
16 | echo "DF_SEVERITY=1 2 1" |
15 | echo "MAX_WEIGHT=10000" |
17 | echo "MAX_WEIGHT=10000" |
16 | echo "MIN_WEIGHT=0" |
18 | echo "MIN_WEIGHT=0" |