Changeset 2913


Ignore:
Timestamp:
Oct 9, 2013 7:12:37 PM (6 years ago)
Author:
bradbell
Message:

get_eigen.sh: Another attempt to get coin-jenkins to work.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/bin/get_eigen.sh

    r2912 r2913  
    5757# -----------------------------------------------------------------------------
    5858echo 'Download eigen to build/external and install it to build/prefix'
    59 version='3.1.3'
     59version='3.2.0'
    6060web_page='https://bitbucket.org/eigen/eigen/get'
    6161prefix=`pwd`'/build/prefix'
Note: See TracChangeset for help on using the changeset viewer.