diff options
| author | Jonathan Abrahams <jonathan@mongodb.com> | 2017-06-09 09:52:43 -0400 |
|---|---|---|
| committer | Jonathan Abrahams <jonathan@mongodb.com> | 2017-06-09 09:52:43 -0400 |
| commit | ff952170b92c0d3a0c9e4d3387478b70d4340d9c (patch) | |
| tree | b4ec344a838af542e761db87c13d1368d4d02e84 /etc | |
| parent | ef5ab5ec47cbd9f261c097f83529f7e70d0c85d3 (diff) | |
| download | mongo-ff952170b92c0d3a0c9e4d3387478b70d4340d9c.tar.gz | |
SERVER-28596 Handle cases when binary is invoked with options for the unittest
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/evergreen.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/evergreen.yml b/etc/evergreen.yml index 7449c9c40af..f09fc9f1997 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -1201,7 +1201,7 @@ post: # On platforms with GDB, we get the binary name from core file gdb=/opt/mongodbtoolchain/gdb/bin/gdb if [ -f $gdb ]; then - binary_file=$($gdb -batch --quiet -ex "core $core_file" 2> /dev/null | grep "Core was generated" | cut -f2 -d "\`" | cut -f1 -d "'") + binary_file=$($gdb -batch --quiet -ex "core $core_file" 2> /dev/null | grep "Core was generated" | cut -f2 -d "\`" | cut -f1 -d "'" | cut -f1 -d " ") binary_file_locations=$binary_file else # Find the base file name from the core file name, note it may be truncated. |