diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-12-23 16:53:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-23 16:53:24 -0500 |
| commit | d4cd072d4cd20cc82839c5fa54a5ec6aa4e81a74 (patch) | |
| tree | b44d81c472bcd6b65a036b7ddd5068b2aabd4a95 /stdlib/Makefile | |
| parent | 22e89fc9cb2d769741447b8b27fd345a83e480ff (diff) | |
| parent | 33fa0a0a86faebe9e468b4b0c4df391197a4093a (diff) | |
| download | ocaml-d4cd072d4cd20cc82839c5fa54a5ec6aa4e81a74.tar.gz | |
Merge pull request #935 from ygrek/termux-build
allow build in termux
Diffstat (limited to 'stdlib/Makefile')
| -rw-r--r-- | stdlib/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index d46a6b1ea8..b2c582e946 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -207,16 +207,16 @@ clean:: .SUFFIXES: .mli .ml .cmi .cmo .cmx .p.cmx .mli.cmi: - $(CAMLC) $(COMPFLAGS) `./Compflags $@` -c $< + $(CAMLC) $(COMPFLAGS) `sh ./Compflags $@` -c $< .ml.cmo: - $(CAMLC) $(COMPFLAGS) `./Compflags $@` -c $< + $(CAMLC) $(COMPFLAGS) `sh ./Compflags $@` -c $< .ml.cmx: - $(CAMLOPT) $(COMPFLAGS) $(OPTCOMPFLAGS) `./Compflags $@` -c $< + $(CAMLOPT) $(COMPFLAGS) $(OPTCOMPFLAGS) `sh ./Compflags $@` -c $< .ml.p.cmx: - $(CAMLOPT) $(COMPFLAGS) $(OPTCOMPFLAGS) `./Compflags $@` \ + $(CAMLOPT) $(COMPFLAGS) $(OPTCOMPFLAGS) `sh ./Compflags $@` \ -p -c -o $*.p.cmx $< # Dependencies on the compiler |