diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index b81f6d415ca..dcb91dca6a9 100755 --- a/configure +++ b/configure @@ -194,6 +194,7 @@ cleanup() { rm -f $ODIR.tmp_src.cc $ODIR.tmp_src.c $ODIR.tmp_out $ODIR.test_execute.log [ "$OS" = "darwin" ] && rm -rf $ODIR.tmp_out.dSYM + true } fail() |