Lines Matching refs:EXE
642 HOST_EXE=.exe
1135 echo ".exe"
1374 local PREFIX EXE
1376 EXE=$(get_prebuilt_host_exe_ext)
1377 echo "$PREFIX/bin/$1$EXE"
1382 # Out: executable name, with optional suffix (e.g. .exe for windows)
1385 local EXE=$(get_prebuilt_host_exe_ext)
1386 echo "$1$EXE"
