Changeset 14061


Ignore:
Timestamp:
Nov 14, 2019 6:30:21 PM (4 weeks ago)
Author:
randersson
Message:

#5819 Updated Jenkinsfile to change WORKSPACE to unixpath before calling make

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/dev-5819/Jenkinsfile

    r14059 r14061  
    5252echo ==== Go to build and run make
    5353cd "\${BUILD_HOME}"
    54 make WORKSPACE=\${WORKSPACE}
    55 make install WORKSPACE=\${WORKSPACE}
     54export WORKSPACE=${unixpath(${WORKSPACE})}
     55make
     56make install
    5657if [ "\${BUILD_CASADI:-1}" == "1" ]; then
    5758    make casadi_interface
Note: See TracChangeset for help on using the changeset viewer.