Whamcloud - gitweb
- use different delimiter for CONFIGURE_FLAGS replacement, so that backslashes in...