summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2023-02-20 20:31:31 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2023-02-20 20:36:27 +0000
commit10ef09e1f3bae325e7f561d0cacf038a2fbc0094 (patch)
tree669b92fdb26ec7dadb879f8a05cc1087e42be1a0 /tools
parent63daa7cb18e7dbe4b70b596e58d6bb7b82cdd07a (diff)
downloadocaml-10ef09e1f3bae325e7f561d0cacf038a2fbc0094.tar.gz
Provide a default for $(OCAMLDEPFLAGS)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions