Changeset 2912


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

get_eigen.sh: attempt to get around certificate problem on coin-jenkins.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/bin/get_eigen.sh

    r2792 r2912  
    6969if [ ! -e "eigen-$version.tar.gz" ]
    7070then
    71         echo_eval wget $web_page/$version.tar.gz
     71        echo_eval wget --no-check-certificate $web_page/$version.tar.gz
    7272        echo_eval mv $version.tar.gz eigen-$version.tar.gz
    7373fi
Note: See TracChangeset for help on using the changeset viewer.