
# make pluto all possible ways
# must be run in Pluto source directory

if [ ! -f ipsec_doi.c ]
then
	echo "$0 must be run in Pluto source directory" >&2
	exit 1
fi

for f1 in "" "-DKLIPS" ; do
  for f2 in "" "-DDODGE_DH_MISSING_ZERO_BUG" ; do
    for f3 in "" "-DDEBUG" ; do
      for f4 in "-DGCC_LINT" ; do	# GCC_LINT is mandatory
        for f5 in "" "-DLEAK_DETECTIVE" ; do
		make DEFINES="$f1 $f2 $f3 $f4 $f5" clean all || exit $?
	done
      done
    done
  done
done

make clean
