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

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--main/Makefile.am2
1 files changed, 2 insertions, 0 deletions
diff --git a/main/Makefile.am b/main/Makefile.am
index 82634e8d54..d9156b9dfa 100644
--- a/main/Makefile.am
+++ b/main/Makefile.am
@@ -29,6 +29,8 @@ NUGET_RESTORE = mono external/nuget-binary/nuget.exe restore -DisableParallelPro
restore-packages:
@$(NUGET_RESTORE)
msbuild /t:Restore /p:RestoreDisableParallel=true external/RefactoringEssentials/RefactoringEssentials/RefactoringEssentials.csproj
+ mono external/fsharpbinding/.paket/paket.bootstrapper.exe
+ pushd . && cd external/fsharpbinding && mono .paket/paket.exe restore && popd
vcrevision:
touch vcrevision