Searched refs:gdomap_port (Results 1 – 2 of 2) sorted by relevance
3478 gdomap_port="$withval", gdomap_port="no")3480 if test "$gdomap_port" = "no"; then3481 GNUSTEP_GDOMAP_PORT_OVERRIDE="$gdomap_port"3483 GNUSTEP_GDOMAP_PORT_OVERRIDE="$gdomap_port"
13202 withval=$with_gdomap_port; gdomap_port="$withval"13204 gdomap_port="no"13208 if test "$gdomap_port" = "no"; then13209 GNUSTEP_GDOMAP_PORT_OVERRIDE="$gdomap_port"13211 GNUSTEP_GDOMAP_PORT_OVERRIDE="$gdomap_port"