OpenGrok

302         EXE='.exe' ;;
308         EXE='.exe' ;;
990 echo EXE = $EXE >> configure.log
1036 /^EXE *=/s#=.*#=$EXE#
1065 /^EXE *=/s#=.*#=$EXE#

Indexes created Wed Aug 05 00:25:39 UTC 2026