Commit 2aecedb1 authored by Marc Vef's avatar Marc Vef
Browse files

Merge branch 'fix_download_script' into 'master' 

Download script: force git checkout

See merge request ada-fs/fs!4
parents 93e16d55 91186508

ifs/scripts/dl_dep.sh

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ clonedeps() { 
        cd ${SOURCE} && ${CLONE} &>> ${LOG}

    fi

    # fix the version

    cd ${SOURCE}/${FOLDER} && git checkout ${COMMIT} &>> ${LOG}

    cd ${SOURCE}/${FOLDER} && git checkout -f ${COMMIT} &>> ${LOG}

    echo "Done"

}