#########################################################
# call build_configure
#########################################################
+ if (! ($?BUILDCONF_OPTS) ) then
+ set mybuildconf_keys=""
+ else
set mybuildconf_keys="${BUILDCONF_OPTS}"
+ endif
if ( $inst_with_gui == 0 ) then
set mybuildconf_keys="${mybuildconf_keys} --without-gui"
endif
if ( ! -e ${module_src}/configure && "${module}" != "PARAVIS" ) then
echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}."
else
-# set myconf_keys="${CONF_OPTS}"
+ if (! ($?BUILDCONF_OPTS) ) then
+ set myconf_keys=""
+ else
+ set myconf_keys="${CONF_OPTS}"
+ endif
if ( $inst_with_gui == 0 ) then
set myconf_keys="${myconf_keys} --without-gui"
endif