|
| From: | Susan Cragin |
| Subject: | Re: Today's git does not compile? |
| Date: | Mon, 4 Jun 2012 10:52:50 -0400 (GMT-04:00) |
>"make -k" a few times might help. Otherwise "make bootstrap" (but only after >updating again because the bootstrap was broken until a minute ago). "make bootstrap" did the trick. Thank you. Susan
| [Prev in Thread] | Current Thread | [Next in Thread] |