Changeset 20413


Ignore:
Timestamp:
03/31/16 14:51:47 (10 years ago)
Author:
Mathieu Morlighem
Message:

CHG: if reconfigure is required, then make is also required

File:
1 edited

Legend:

Unmodified
Added
Removed

  • issm/trunk-jpl/jenkins/jenkins.sh

    r20410 r20413  
    7575
    7676        #Do we need to recompile
    77         if [ ! -z "$(cat $ISSM_DIR/TEMP | grep -e "\.cpp" -e "\.h" )" ] ; then
     77        if [ ! -z "$(cat $ISSM_DIR/TEMP | grep -e "\.cpp" -e "\.h" )" ] || [ "$ISSM_RECONFIGURE" == "yes"] ; then
    7878                echo "  -- checking for recompilation... yes";
    7979                ISSM_COMPILATION="yes"
Note: See TracChangeset for help on using the changeset viewer.