diff options
author | Pranith Kumar K <pkarampu@redhat.com> | 2015-05-29 15:34:09 +0530 |
---|---|---|
committer | Niels de Vos <ndevos@redhat.com> | 2015-05-30 03:52:11 -0700 |
commit | 378fa28f2ed397e71d05b5869026e1e23bab9e96 (patch) | |
tree | 02bd90d3aedf5c8a70b1ae8f0a9bfac5e9fda923 /extras | |
parent | 8772ca6c559623e96bbdd40811d8ec25210810fc (diff) |
heal: Do not call glfs_fini in final builds
BUG: 1226253
Change-Id: Id18a7a3a2b9c2cffea6f3d7c8676712fcf9691e5
Signed-off-by: Pranith Kumar K <pkarampu@redhat.com>
Reviewed-on: http://review.gluster.org/11001
Reviewed-by: Ravishankar N <ravishankar@redhat.com>
Reviewed-by: Niels de Vos <ndevos@redhat.com>
Tested-by: Gluster Build System <jenkins@build.gluster.com>
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions