Changeset a8d8547


Ignore:
Timestamp:
Jun 8, 2021, 8:53:39 PM (16 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
47138ee
Parents:
c0c4d4f
Message:

Fix error in previous commit

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    rc0c4d4f ra8d8547  
    88
    99// Globals
    10 BuildDir  = pwd tmp: true
    11 SrcDir    = pwd tmp: false
     10BuildDir  = ""
     11SrcDir    = ""
    1212Settings  = null
    1313Tools     = null
     
    4646                        publish()
    4747                }
    48 
    49                 // Update the build directories when exiting the node
    50                 BuildDir  = pwd tmp: true
    51                 SrcDir    = pwd tmp: false
    5248        }
    5349}
Note: See TracChangeset for help on using the changeset viewer.