diff options
| author | shindere <Sebastien.Hinderer@inria.fr> | 2016-08-25 09:10:35 +0200 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2016-08-25 09:10:35 +0200 |
| commit | 185a8ac254447daedac10ac389798d802e42eb14 (patch) | |
| tree | 37dcb68a2d032549067260b868db374c0fd5f6a3 /yacc | |
| parent | 657b34244ac5492ea60c5097a7d6641d733fb0e7 (diff) | |
| download | ocaml-185a8ac254447daedac10ac389798d802e42eb14.tar.gz | |
In otherlibs/num: fix make warning about ignored `depend' target. (#776)
The `depend' target defined in Makefile.shared was ignored on Unix and
Windows, because it is also defined in Makefile and Makefile.nt.
The definition in Makefile.shared is an exact copy of the one in Makefile.
This commit also removes the "include .depend" directive from
Makefile.shared because this inclusion is handled in a system-dependent
way in Makefile and Makefile.nt.
Diffstat (limited to 'yacc')
0 files changed, 0 insertions, 0 deletions