-# Global option flags for utilities
-#
-#################################################################################
-
-# These flags make flex 8-bit
-SRC_FLEX_OPTS += -8
-
-#
-# Make sure we install things with group 'grasp' at Glasgow
-# At Glasgow, we would rather the installed binaries were stripped.
-# (Delete if you feel otherwise.)
-SRC_INSTALL_BIN_OPTS += -s
-ifeq ($(AT_GLASGOW),1)
-SRC_INSTALL_OPTS += -g grasp
-endif
-
-# lint gets all CPP's flags too
-SRC_LINT_OPTS += -axz -DLINT $(SRC_CPP_OPTS)
-WAY$(_way)_LINT_OPTS += WAY$(_way)_CPP_OPTS
-
-
-# Default fptools options for texi2html:
-#
-# - each node in separate file.
-# - handle texi menus and glossaries.
-#
-#
-SRC_TEXI2HTML_OPTS +=-menu -verbose -glossary
-
-
-#################################################################################
-#