Changeset 2914


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

Fix check if build/external already exists.

Location:
trunk/bin
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/bin/get_eigen.sh

    r2913 r2914  
    6161prefix=`pwd`'/build/prefix'
    6262# -----------------------------------------------------------------------------
    63 if [ ! -d external ]
     63if [ ! -d build/external ]
    6464then
    6565        echo_eval mkdir -p build/external
  • trunk/bin/get_fadbad.sh

    r2791 r2914  
    6161prefix=`pwd`'/build/prefix'
    6262# -----------------------------------------------------------------------------
    63 if [ ! -d external ]
     63if [ ! -d build/external ]
    6464then
    6565        echo_eval mkdir -p build/external
  • trunk/bin/get_ipopt.sh

    r2878 r2914  
    6161prefix=`pwd`'/build/prefix'
    6262# -----------------------------------------------------------------------------
    63 if [ ! -d external ]
     63if [ ! -d build/external ]
    6464then
    6565        echo_eval mkdir -p build/external
  • trunk/bin/get_sacado.sh

    r2888 r2914  
    9696fi
    9797# -----------------------------------------------------------------------------
    98 if [ ! -d external ]
     98if [ ! -d build/external ]
    9999then
    100100        echo_eval mkdir -p build/external
Note: See TracChangeset for help on using the changeset viewer.