11
REF_EAST_CONSOLE_OUTPUT=east-console.txt
12
REF_WEST_CONSOLE_OUTPUT=west-console.txt
14
REF_CONSOLE_FIXUPS="kern-list-fixups.sed nocr.sed"
15
REF_CONSOLE_FIXUPS="$REF_CONSOLE_FIXUPS cutout.sed"
16
REF_CONSOLE_FIXUPS="$REF_CONSOLE_FIXUPS east-prompt-splitline.pl"
17
REF_CONSOLE_FIXUPS="$REF_CONSOLE_FIXUPS ipsec-look-esp-sanitize.pl"
18
REF_CONSOLE_FIXUPS="$REF_CONSOLE_FIXUPS klips-debug-sanitize.sed"
19
REF_CONSOLE_FIXUPS="$REF_CONSOLE_FIXUPS ipsec-setup-sanitize.sed"
20
REF_CONSOLE_FIXUPS="$REF_CONSOLE_FIXUPS pluto-whack-sanitize.sed"
21
REF_CONSOLE_FIXUPS="$REF_CONSOLE_FIXUPS host-ping-sanitize.sed"
24
EAST_INIT_SCRIPT=eastinit.sh
25
WEST_INIT_SCRIPT=westinit.sh
27
WEST_RUN_SCRIPT=westrun.sh
29
EAST_RUN2_SCRIPT=eastrun2.sh
30
WEST_RUN2_SCRIPT=westrun2.sh
32
EAST_FINAL_SCRIPT=final.sh
33
WEST_FINAL_SCRIPT=final.sh
35
NETJIG_EXTRA=debugpublic.txt