Build bytecode version with debug symbols.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1135 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

Makefile

@@ -97,8 +97,8 @@ ccomp: driver/Configuration.ml
         && rm -f ccomp && ln -s _build/driver/Driver.native ccomp
 
 ccomp.byte: driver/Configuration.ml
-	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.byte \
-        && rm -f ccomp.byte && ln -s _build/driver/Driver.byte ccomp.byte
+	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.d.byte \
+        && rm -f ccomp.byte && ln -s _build/driver/Driver.d.byte ccomp.byte
 
 runtime:
 	$(MAKE) -C runtime