Robustify pgoto
commit7e1a303783d341a93cbae51b23bcd6753cf6aafd
authormalc <moosotc@gmail.com>
Mon, 30 Nov 2015 23:30:16 +0000 (1 02:30 +0300)
committermalc <moosotc@gmail.com>
Mon, 30 Nov 2015 23:30:16 +0000 (1 02:30 +0300)
tree59204b5aaccb0c21ce0eb7c1d76192334b7e5f99
parent2f2b3e9e69904121a424296d278db2d21d3b14c3
Robustify pgoto

This is ugly.
config.ml
link.c
main.ml