diff options
Diffstat (limited to 'test-suite/coq-makefile/findlib-package/findlib/foo/Makefile')
| -rw-r--r-- | test-suite/coq-makefile/findlib-package/findlib/foo/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/coq-makefile/findlib-package/findlib/foo/Makefile b/test-suite/coq-makefile/findlib-package/findlib/foo/Makefile index 31cf11665..1615bfd06 100644 --- a/test-suite/coq-makefile/findlib-package/findlib/foo/Makefile +++ b/test-suite/coq-makefile/findlib-package/findlib/foo/Makefile @@ -1,7 +1,7 @@ -include ../../Makefile.conf -CO=$(COQMF_OCAMLFIND) opt -CB=$(COQMF_OCAMLFIND) ocamlc +CO="$(COQMF_OCAMLFIND)" opt +CB="$(COQMF_OCAMLFIND)" ocamlc all: $(CO) -c foolib.ml |