comparison src/coq/Makefile @ 2070:382911d72e63

Check realloc's return code to prevent segfault on out of memory condition (Part 3)
author Sergey Mironov <grrwlf@gmail.com>
date Tue, 02 Sep 2014 17:37:22 +0000
parents 705cb41ac7d0
children
comparison
equal deleted inserted replaced
2069:262dd74df39c 2070:382911d72e63