summaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2016-02-08 16:01:31 -0500
committerGabriel Scherer <gabriel.scherer@gmail.com>2016-02-08 16:01:31 -0500
commitec190a03a3e33acee42aea7f27a931ff70d3216f (patch)
treea3c00ef56f03e4ea05060a10be36bd71f45aa684 /driver
parent7715890db26cd84fc191fa98c162545720f6b06a (diff)
downloadocaml-ec190a03a3e33acee42aea7f27a931ff70d3216f.tar.gz
.depend: driver/optmain depends on asmcomp/proc
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions