From 1e1031f1ce3d75df301bdcd8229198d765780daa Mon Sep 17 00:00:00 2001 From: Yoni Fogel Date: Tue, 16 Apr 2013 23:57:43 -0400 Subject: [PATCH] Addresses #1531 fix newbrt/ make checko2 in windows git-svn-id: file:///svn/toku/tokudb@9961 c7de825b-a66e-492c-adef-691d508d4ae1 --- newbrt/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/newbrt/Makefile b/newbrt/Makefile index b600372657c..74a36aa687c 100644 --- a/newbrt/Makefile +++ b/newbrt/Makefile @@ -110,8 +110,9 @@ check: bins %$(BINSUF): $(NEWBRT) $(LIBPORTABILITY) +checko2: SHELL=/bin/bash checko2: - @if [[ "$(OPTFLAGS)" =~ "-O([2-3])" ]] ; then \ + @shopt -s compat31; if [[ "$(OPTFLAGS)" =~ "-O([2-3x])" ]] ; then \ echo OPTFLAGS=$(OPTFLAGS) ok; \ else \ echo OPTFLAGS=$(OPTFLAGS) bad; exit 1; \