diff options
| author | letouzey | 2010-03-04 16:18:33 +0000 |
|---|---|---|
| committer | letouzey | 2010-03-04 16:18:33 +0000 |
| commit | 9ece79aa913d30adf14597f2eeec702e58240db9 (patch) | |
| tree | f386793fc2931802cfa9df7feb383ca25626fb1c /plugins/xml | |
| parent | 252aa149a8c1e8df04c02d1b8be1501f122526ad (diff) | |
Coqdep_boot: when emultating ocamldep, avoid outputting empty answer
When we emulate ocamldep via "coqdep_boot -mldep ocamldep", it's nicer
to get something as output, even if there's no dependencies. Something like
foo.cmo:
foo.cmx:
at least indicates that something has been done. Moreover it's closer to
the behavior of ocamldep
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12838 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions