Bug fixed for unix error "readlink /proc/self/fd/0" on MacOS. master
authorwang <wang@wang-OptiPlex-7010.(none)>
Mon, 28 Oct 2013 10:01:55 +0000 (11:01 +0100)
committerwang <wang@wang-OptiPlex-7010.(none)>
Mon, 28 Oct 2013 10:01:55 +0000 (11:01 +0100)
commit4745d0cba82b458d491320c72e564b23899a5310
treea4c41401d41b180a82937152e4bdae778e727f59
parent02c1ef905d2101df872ccccccb2e4c7c0a508571
Bug fixed for unix error "readlink /proc/self/fd/0" on MacOS.
Not yet tested.
Makefile
examples/Makefile
interpreter/main.ml