aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorbors-servo <release+servo@mozilla.com>2014-04-12 11:43:06 -0400
committerbors-servo <release+servo@mozilla.com>2014-04-12 11:43:06 -0400
commitce877e4f5b0996aa58779a41c1772cdd310f55a4 (patch)
treed1b7fb341b5b5715b4655f8a0561fb804e7d8f7b
parentc27b31d9c94bb304dad0362a180845dec20fdee7 (diff)
parentb68fd73042d50aa85b8843fee2a9cbe09322d741 (diff)
downloadservo-ce877e4f5b0996aa58779a41c1772cdd310f55a4.tar.gz
servo-ce877e4f5b0996aa58779a41c1772cdd310f55a4.zip
auto merge of #2095 : zmike/servo/servo-lib, r=larsbergstrom
In pursuit of #441 r? @larsbergstrom
-rw-r--r--Makefile.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in
index 21b5e1d15c1..de75507a6e1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -341,6 +341,12 @@ ifneq ($(CFG_OSTYPE),linux-androideabi)
servo: $(DEPS_servo)
@$(call E, compile: $@)
$(Q)$(RUSTC) $(RFLAGS_servo) -o $@ $<
+
+libservo.dummy: $(DEPS_servo)
+ @$(call E, compile: $@)
+ $(Q)$(RUSTC) $(RFLAGS_servo) $< --crate-type dylib,rlib
+ touch libservo.dummy
+
else
servo: $(DEPS_servo)
@$(call E, compile: $@)