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:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 755ed91780..b6a7348ff8 100644
--- a/Makefile
+++ b/Makefile
@@ -78,10 +78,10 @@ dist: update_submodules remove-stale-tarballs dist-recursive
@cd tarballs && rm -rf monodevelop-$(PACKAGE_VERSION)
aot:
- for i in main/build/bin/*.dll; do mono --aot $$i; done
- for i in main/build/AddIns/*.dll; do mono --aot $$i; done
- for i in main/build/AddIns/*/*.dll; do mono --aot $$i; done
- for i in main/build/AddIns/*/*/*.dll; do mono --aot $$i; done
+ @for i in main/build/bin/*.dll; do (mono --aot $$i && echo AOT successful: $$i) || (echo AOT failed: $$i); done
+ @for i in main/build/AddIns/*.dll; do (mono --aot $$i && echo AOT successful: $$i) || (echo AOT failed: $$i); done
+ @for i in main/build/AddIns/*/*.dll; do (mono --aot $$i && echo AOT successful: $$i) || (echo AOT failed: $$i); done
+ @for i in main/build/AddIns/*/*/*.dll; do (mono --aot $$i && echo AOT successful: $$i) || (echo AOT failed: $$i); done
run:
cd main && $(MAKE) run