configure.sh « scripts - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

configure.sh « scripts - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/monodevelop.git

Unnamed repository; edit this file 'description' to name the repository.

www-data

summary refs log tree commit diff

path: root/scripts/configure.sh

blob: 277e47da5efb20d76bb0e042bda10d14a07eefb0 (plain)

#!/usr/bin/env bash

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

if [ ! -f $DIR/configure.exe ]; then
	mcs $DIR/configure.cs -out:$DIR/configure.exe
fi

LANG=C mono $DIR/configure.exe "$@"