commit | 4900f4cd2b32e72b8a25b94f75700620653bcba3 | [log] [tgz] |
---|---|---|
author | Michael Ernst <mernst@cs.washington.edu> | Fri Nov 25 21:51:59 2016 -0800 |
committer | Michael Ernst <mernst@cs.washington.edu> | Fri Nov 25 21:51:59 2016 -0800 |
tree | 0ff1c4917190e3931481f149c1f4057e354e27ed | |
parent | 29448426e1d1c67cda187c526f3abbd2763a997d [diff] |
Add "set +e" in after_script