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:
authorRolf Bjarne Kvinge <rolf@xamarin.com>2011-11-22 05:25:07 +0400
committerRolf Bjarne Kvinge <rolf@xamarin.com>2011-11-22 05:49:51 +0400
commit7ce900e4c139d9bcb0d5c86b1cf86b9ae74d82a5 (patch)
treec0428b2321b41fa78ef20bd831d238d3f9ebaf39 /Makefile
parentacb6aa85cb55bdc5affe9e1d7c24259d1348e749 (diff)
Add build magic so that dependencies are linked using git hashes
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile9
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 7259062496..de4ec321ca 100644
--- a/Makefile
+++ b/Makefile
@@ -74,3 +74,12 @@ app-dir:
package-monomac:
(cd main; make package-monomac)
+
+reset-versions: reset-all
+check-versions: check-all
+
+reset-%:
+ @./version-checks --reset $*
+
+check-%:
+ @./version-checks --check $*