mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-22 06:44:16 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Addresses #1531 fix newbrt/ make checko2 in windows

Browse source 
git-svn-id: file:///svn/toku/tokudb@9961 c7de825b-a66e-492c-adef-691d508d4ae1
This commit is contained in:
Yoni Fogel 2013-04-16 23:57:43 -04:00
parent c1a8d03b11
commit 1e1031f1ce
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
newbrt/Makefile
View file

@ -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; \