Changeset 14059


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

#5819 Testing setting WORKSPACE manually before calling make since slashes are removed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/dev-5819/Jenkinsfile

    r12793 r14059  
    5252echo ==== Go to build and run make
    5353cd "\${BUILD_HOME}"
    54 make
    55 make install
     54make WORKSPACE=\${WORKSPACE}
     55make install WORKSPACE=\${WORKSPACE}
    5656if [ "\${BUILD_CASADI:-1}" == "1" ]; then
    5757    make casadi_interface
Note: See TracChangeset for help on using the changeset viewer.