Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #763 : metajack/servo/backup-restore-fix, r=jdm

Browse source
This commit is contained in:
bors-servo 2013-08-22 20:03:45 -07:00
commit e96368199f
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Makefile.in
View file

@ -318,10 +318,14 @@ endif
# Because Rust takes a very long time to build and changes infrequently,
# the bots want to reuse it between builds. They can do so by running
# `make backup-rust` and `make restore-rust`.
#
# backup-rust is run before the build directory is cleaned. if it fails, that's ok.
#
# restore-rust is run after configure and before invoking make. if it fails, we must abort.
.PHONY: backup-rust restore-rust
backup-rust:
mv src/compiler/rust ..
-mv src/compiler/rust ..
restore-rust:
if [ -d ../rust ]; then rm -rf src/compiler/rust; mv ../rust src/compiler/; fi