search

sireum / archived-v2-amandroid

34 stars 16 forks source link

update the sireum - failure #32

Closed magicislab closed 9 years ago

magicislab commented 9 years ago

HI, i try to update/execute the sireum , but it seems to always download failure. How to fix such problem? Could I download the newest version of java from the Oracle website ? screen shot 2015-04-17 at 4 34 15 pm

fgwei commented 9 years ago

I think it's the network issue. You can run:

  1. sireum clean
  2. sireum Hope this help.