From 053cfa54205575ceb984f5922f51f4fce5980604 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 2 May 2019 06:57:46 +0200
Subject: forgot Chunks.v

---
 test/monniaux/ocaml/config/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/ocaml')

diff --git a/test/monniaux/ocaml/config/Makefile b/test/monniaux/ocaml/config/Makefile
index 8fa72626..26b14670 100644
--- a/test/monniaux/ocaml/config/Makefile
+++ b/test/monniaux/ocaml/config/Makefile
@@ -22,7 +22,7 @@ X11_LINK=-lX11
 LIBBFD_LINK=
 LIBBFD_INCLUDE=
 # DM CC=k1-mbr-gcc
-CC=/home/monniaux/work/Kalray/CompCert/ccomp
+CC=/home/monniaux/work/Kalray/mppa-xsaddr/ccomp
 CPP=$(CC) -E
 CFLAGS=-O -Wall -fall
 # DM CFLAGS=-O3 -Wall
-- 
cgit