configure
branchcustombridgeheads
changeset 5645 72ebd9e4cd64
parent 5643 3778051e8095
child 5648 1608018c5ff2
equal deleted inserted replaced
5644:ec96a5a38023 5645:72ebd9e4cd64
    31 	$configure
    31 	$configure
    32 	exit $?
    32 	exit $?
    33 fi
    33 fi
    34 
    34 
    35 set_default
    35 set_default
    36 detect_params $@
    36 detect_params "$@"
    37 save_params
    37 save_params
    38 check_params
    38 check_params
    39 make_cflags_and_ldflags
    39 make_cflags_and_ldflags
    40 
    40 
    41 EXE=""
    41 EXE=""
    80 		if ($0 == "COCOA"       && "'$with_cocoa'" == "0")         { next; }
    80 		if ($0 == "COCOA"       && "'$with_cocoa'" == "0")         { next; }
    81 		if ($0 == "BEOS"        && "'$os'" != "BEOS")              { next; }
    81 		if ($0 == "BEOS"        && "'$os'" != "BEOS")              { next; }
    82 		if ($0 == "WIN32"       && "'$os'" != "MINGW" &&
    82 		if ($0 == "WIN32"       && "'$os'" != "MINGW" &&
    83 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
    83 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
    84 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
    84 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
    85 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" != "1")  { next; }
    85 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
    86 
    86 
    87 		skip += 1;
    87 		skip += 1;
    88 
    88 
    89 		next;
    89 		next;
    90 	}
    90 	}