summaryrefslogtreecommitdiffstats
path: root/jenkins-scripts/basic_settings.sh
diff options
context:
space:
mode:
authorEd Warnicke <eaw@cisco.com>2017-09-29 15:22:26 -0700
committerEd Warnicke <eaw@cisco.com>2017-09-29 15:50:28 -0700
commit8068b83c16259d9c70d0cf7bb22fa5dcbbce51a0 (patch)
tree439c40ae8a4460951ebda7f904fae4bceecb728e /jenkins-scripts/basic_settings.sh
parenta5f60ad6c7fb1816927a7f59128201c56fa9e134 (diff)
Capture and archive core files for verify builds in vpp
Change-Id: Ibe6d5da7c1ff4488cfd7401fb7c3ecf0dcae77c8 Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'jenkins-scripts/basic_settings.sh')
0 files changed, 0 insertions, 0 deletions