Navigation

Changeset 2414

Timestamp:

09/07/07 12:39:07 (1 year ago)

Author:

pebenito

Message:

tools: undo previous commit to quicktest.

Files:

r2413	r2414
1	1	#!/bin/bash
2
3		~~[ -x '/usr/bin/sandbox' ] \~~
4		~~&& SANDBOX='/usr/bin/sandbox' \~~
5		~~\|\| SANDBOX=''~~
6	2
7	3	TYPES="strict targeted-mcs strict-mls"
…	…
19	15
20	16	cleanup_mon() {
21		~~$SANDBOX~~ make MONOLITHIC=y bare
	17	make MONOLITHIC=y bare
22	18	}
23	19
24	20	cleanup_mod() {
25		~~$SANDBOX~~ make MONOLITHIC=n bare
	21	make MONOLITHIC=n bare
26	22	}
27	23
…	…
36	32	echo "** Options: $OPTS **"
37	33	echo -ne "\033]0;mon $i $1\007"
38		~~$SANDBOX~~ make $OPTS conf \|\| die "$?" "$OPTS"
39		~~$SANDBOX~~ make $OPTS \|\| die "$?" "$OPTS"
40		~~$SANDBOX~~ make $OPTS file_contexts \|\| die "$?" "$OPTS"
41		$S~~ANDBOX $S~~ETFILES -q -c policy.$POLVER file_contexts \|\| die "$?" "$OPTS"
	34	make $OPTS conf \|\| die "$?" "$OPTS"
	35	make $OPTS \|\| die "$?" "$OPTS"
	36	make $OPTS file_contexts \|\| die "$?" "$OPTS"
	37	$SETFILES -q -c policy.$POLVER file_contexts \|\| die "$?" "$OPTS"
42	38	cleanup_mon
43	39
…	…
48	44	echo "** Options: $OPTS **"
49	45	echo -ne "\033]0;mod $i $1\007"
50		~~$SANDBOX~~ make $OPTS conf \|\| die "$?" "$OPTS"
51		~~$SANDBOX~~ make $OPTS base \|\| die "$?" "$OPTS"
52		~~$SANDBOX~~ make $OPTS -j3 modules \|\| die "$?" "$OPTS"
53		~~$SANDBOX~~ make $OPTS validate \|\| die "$?" "$OPTS"
	46	make $OPTS conf \|\| die "$?" "$OPTS"
	47	make $OPTS base \|\| die "$?" "$OPTS"
	48	make $OPTS -j3 modules \|\| die "$?" "$OPTS"
	49	make $OPTS validate \|\| die "$?" "$OPTS"
54	50	cleanup_mod
55	51	done

* Generating other formats may take time.