---

graydon · graydon · commit 455ec2d65289 · 2011-03-22T17:11:47.000-07:00
yaml --- r: 1803 b: refs/heads/master c: 0c06f51 h: refs/heads/master i: 1801: c042dbe 1799: 75167af v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 6e1f52e79e331748429bb3765bfe9e1aabdece7a
+refs/heads/master: 0c06f5169f51f9af88346faf6ee7e21289cd6572
diff --git a/trunk/Makefile.in b/trunk/Makefile.in
@@ -234,7 +234,7 @@ BOOT_CMXS := $(BOOT_MLS:.ml=.cmx)
 BOOT_OBJS := $(BOOT_MLS:.ml=.o)
 BOOT_CMIS := $(BOOT_MLS:.ml=.cmi)
 
-BS := $(S)src/boot/
+BS := $(S)src/boot
 
 BOOT_ML_DEP_INCS := -I $(BS)/fe   -I $(BS)/me      \
                     -I $(BS)/be   -I $(BS)/driver  \

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 6e1f52e79e331748429bb3765bfe9e1aabdece7a`
	`2`	`+refs/heads/master: 0c06f5169f51f9af88346faf6ee7e21289cd6572`