Trim redundant /
This commit is contained in:
parent
6e1f52e79e
commit
0c06f5169f
|
@ -234,7 +234,7 @@ BOOT_CMXS := $(BOOT_MLS:.ml=.cmx)
|
||||||
BOOT_OBJS := $(BOOT_MLS:.ml=.o)
|
BOOT_OBJS := $(BOOT_MLS:.ml=.o)
|
||||||
BOOT_CMIS := $(BOOT_MLS:.ml=.cmi)
|
BOOT_CMIS := $(BOOT_MLS:.ml=.cmi)
|
||||||
|
|
||||||
BS := $(S)src/boot/
|
BS := $(S)src/boot
|
||||||
|
|
||||||
BOOT_ML_DEP_INCS := -I $(BS)/fe -I $(BS)/me \
|
BOOT_ML_DEP_INCS := -I $(BS)/fe -I $(BS)/me \
|
||||||
-I $(BS)/be -I $(BS)/driver \
|
-I $(BS)/be -I $(BS)/driver \
|
||||||
|
|
Loading…
Reference in New Issue