diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/clightgen/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile index f0e9d961..83ba0fd3 100644 --- a/test/clightgen/Makefile +++ b/test/clightgen/Makefile @@ -5,7 +5,7 @@ ARCHDIRS=$(ARCH) else ARCHDIRS=$(ARCH)_$(BITSIZE) $(ARCH) endif -RECDIRS := lib common $(ARCHDIRS) cfrontend exportclight +RECDIRS := lib common $(ARCHDIRS) cfrontend export COQINCLUDES := $(foreach d, $(RECDIRS), -R ../../$(d) compcert.$(d)) ifeq ($(LIBRARY_FLOCQ),local) COQINCLUDES += -R ../../flocq Flocq |