diff options
| author | tgrogers <[email protected]> | 2017-07-12 17:03:30 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2017-07-12 17:03:30 -0400 |
| commit | f8e84eefc92d7d63554472e0bb88fe691f40701d (patch) | |
| tree | be1d1a91dfd1279b12049cff707bef28535fdc5d /src/statwrapper.cc | |
| parent | e9736f3b054062744c4bb81d38b7402944eb5480 (diff) | |
Getting jenkins to work by changing the error on shell type to a warning. The way we detect the shell is not fool-proof and fails for jenkins, although we are using bash
Diffstat (limited to 'src/statwrapper.cc')
0 files changed, 0 insertions, 0 deletions