diff options
| author | Lluis Sanchez Gual <lluis@xamarin.com> | 2014-02-07 18:01:46 +0400 |
|---|---|---|
| committer | Lluis Sanchez Gual <lluis@xamarin.com> | 2014-02-07 19:35:36 +0400 |
| commit | ca5ab235140fd5a27f3cdf90df1e3e4085ad57f7 (patch) | |
| tree | e9527c6bdf796869319c18b6176f3cc1a5195354 /scripts/configure.bat | |
| parent | cbff71d4c13611a48d4c4001603464db29fe5bc9 (diff) | |
Make configuration script reusable
Diffstat (limited to 'scripts/configure.bat')
| -rw-r--r-- | scripts/configure.bat | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/configure.bat b/scripts/configure.bat new file mode 100644 index 0000000000..e1fc3ff8d6 --- /dev/null +++ b/scripts/configure.bat @@ -0,0 +1,6 @@ +@echo off
+set DIR=%~dp0\
+if not exist %DIR%\configure.exe (
+ csc /nologo /out:%DIR%\configure.exe %DIR%\configure.cs
+)
+%DIR%\configure.exe %*
\ No newline at end of file |