Changeset 20434


Ignore:
Timestamp:
04/04/16 18:07:54 (10 years ago)
Author:
glperez
Message:

CHG: Check if installation dir is empty.

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r20429 r20434  
    116116
    117117        #install if requested or if install does not exist
    118         if [ "$ISSM_EXTERNALPACKAGES" == "install" ] || [ ! -d install ];
     118        if [ "$ISSM_EXTERNALPACKAGES" == "install" ] || [ ! -d install ] || [ ! "$(ls -A install)" ];
    119119        then
    120120                echo "======================================================";
Note: See TracChangeset for help on using the changeset viewer.