On Thu, Jul 24, 2008 at 8:10 PM, John Regehr <regehr at cs.utah.edu> wrote: > Sorry for the wide broadcast... I'm not sure who owns this script and > I'm not a shell programmer. Note the strange error below from > tos-install-jni. Perhaps an "==" in this script wants to become "eq"? Actually '='. Fix committed. David