-# start-sanitize-gm
-ENABLE_GM=
-
-# Check whether --enable-gm or --disable-gm was given.
-if test "${enable_gm+set}" = set; then
- enableval="$enable_gm"
- case "${enableval}" in
-yes) CONFIG_OBS="${CONFIG_OBS} gmagic.o"
- ENABLE_CFLAGS=-DGENERAL_MAGIC
- ;;
-no) ;;
-*) { echo "configure: error: bad value ${enableval} given for gm option" 1>&2; exit 1; } ;;
-esac
-fi
-
-
-# end-sanitize-gm
-