Duh! Thanks David ;-)
On 25 June 2014 18:30, David Welton <[email protected]> wrote: > You need R16B03-1 because R16B03 does not work. > > On Wed, Jun 25, 2014 at 1:19 PM, Graeme Defty <[email protected]> > wrote: > > Hi all, > > > > I got this message compiling the latest release: > > > > ==> eunit_formatters (compile) > > ERROR: OTP release R16B03 does not match required regex > > R15B0[^1]|R16B$|R16B[^0]|R16B0[^3]|R16B03-1|17 > > > > I grepped the code in vain - could not find the regex OR the error > message. > > > > Thoughts anyone? > > > > g > > > > -- > > You received this message because you are subscribed to the Google Groups > > "ChicagoBoss" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to [email protected]. > > Visit this group at http://groups.google.com/group/chicagoboss. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/chicagoboss/CAKF5fiBCYFLSfCV1JBNffzRdAMw6nHktwcW4JjKzNy4Ysh3W1g%40mail.gmail.com > . > > For more options, visit https://groups.google.com/d/optout. > > > > -- > David N. Welton > > http://www.welton.it/davidw/ > > http://www.dedasys.com/ > > -- > You received this message because you are subscribed to the Google Groups > "ChicagoBoss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > Visit this group at http://groups.google.com/group/chicagoboss. > To view this discussion on the web visit > https://groups.google.com/d/msgid/chicagoboss/CA%2Bb9R_uOEDUW%2BA1zg6wPDJAbjSYrGzGMkTWg4%3D_7DzfhoGOsaA%40mail.gmail.com > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "ChicagoBoss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. Visit this group at http://groups.google.com/group/chicagoboss. To view this discussion on the web visit https://groups.google.com/d/msgid/chicagoboss/CAKF5fiC1OMsYAHraS0MOXr6bCXzNwAw%2BrvPAP3oOohA453rsCQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
