2 # make pluto all possible ways
3 # must be run in Pluto source directory
5 if [ ! -f ipsec_doi.c ]
7 echo "$0 must be run in Pluto source directory" >&2
11 for f1 in "" "-DKLIPS" ; do
12 for f2 in "" "-DDODGE_DH_MISSING_ZERO_BUG" ; do
13 for f3 in "" "-DDEBUG" ; do
14 for f4 in "-DGCC_LINT" ; do # GCC_LINT is mandatory
15 for f5 in "" "-DLEAK_DETECTIVE" ; do
16 make DEFINES="$f1 $f2 $f3 $f4 $f5" clean all || exit $?