[patch by Adrien Nader] build: avoid an unneeded gnu-style conditional in Makefile.

The OpenBSD Jenkins slave started failing because of the use of
gnu-style conditionals.
There's unfortunately no way that I know of to get a conditional syntax
that works both with gmake and mk.
Fortunately, the conditional wasn't needed at all since the value was
already computed in the configure step.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Gabriel Scherer 2013-07-01 12:12:33 +00:00
parent cf5a7e3b50
commit 20710f3675
1 changed files with 1 additions and 5 deletions

View File

@ -16,11 +16,7 @@ include Makefile.common
CFLAGS=-DCAML_NAME_SPACE -O $(BYTECCCOMPOPTS) $(IFLEXDIR)
DFLAGS=-DCAML_NAME_SPACE -g -DDEBUG $(BYTECCCOMPOPTS) $(IFLEXDIR)
ifeq ($(SYSTEM),mingw)
OBJS=$(COMMONOBJS) win32.o main.o
else
OBJS=$(COMMONOBJS) unix.o main.o
endif
OBJS=$(COMMONOBJS) $(UNIX_OR_WIN32).o main.o
DOBJS=$(OBJS:.o=.d.o) instrtrace.d.o
PICOBJS=$(OBJS:.o=.pic.o)