Changeset 2933


Ignore:
Timestamp:
Oct 12, 2013 11:30:28 AM (6 years ago)
Author:
bradbell
Message:

jenkins.sh: include openmp in testing, fix build_type setting.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/bin/jenkins.sh

    r2931 r2933  
    9696        EIGEN_DIR="$trunk_dir/build/prefix" \\
    9797        IPOPT_DIR="$trunk_dir/build/prefix" \\
    98         FADBAD_DIR="$trunk_dir/build/prefix"
     98        FADBAD_DIR="$trunk_dir/build/prefix"  \\
     99        OPENMP_FLAGS=-fopenmp
    99100EOF
    100 if ! $trunk_dir/configure \
    101         --build=$build_type \
     101if ! $trunk_dir/configure $build_type \
    102102        SACADO_DIR="$trunk_dir/build/prefix" \
    103103        EIGEN_DIR="$trunk_dir/build/prefix" \
    104104        IPOPT_DIR="$trunk_dir/build/prefix" \
    105         FADBAD_DIR="$trunk_dir/build/prefix"
     105        FADBAD_DIR="$trunk_dir/build/prefix" \
     106        OPENMP_FLAGS=-fopenmp
    106107then
    107108        echo "Error during configure command. Here is config.log file:"
Note: See TracChangeset for help on using the changeset viewer.