1. 12 Nov, 2020 1 commit
    • Marcus's avatar
      add ndk r12b to any buildjni build that doesn't have an ndk · e592d5f8
      Marcus authored
      r12b has been forever the default. Let's explicitly request that version
      where we know we need it.
      
      Note; there's other builds that still implicitly rely on that version
      that don't use the buildjni flag. We don't really have a good way of
      finding those, except manually.
      e592d5f8
  2. 23 Aug, 2020 1 commit
    • Jochen Sprickerhof's avatar
      Unify apt-get usage · f7b51303
      Jochen Sprickerhof authored
      - use apt-get instead of apt
      - do apt-get update || apt-get update before apt-get install
      - use apt install -y
      f7b51303
  3. 23 May, 2020 1 commit
  4. 08 May, 2020 1 commit
  5. 04 May, 2020 1 commit
  6. 03 May, 2020 1 commit
  7. 13 Sep, 2019 1 commit
  8. 01 Sep, 2019 1 commit