[klee-dev] [PATCH] Build KLEE on FreeBSD.

2011-06-09 Thread arrowdodger
On Wed, Jun 1, 2011 at 4:18 PM, arrowdodger 6yearold at gmail.com wrote: Hello. Here is a quick fix for FreeBSD build. -- next part -- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110609/80f8f729/attachment.html

[klee-dev] [PATCH] Build KLEE on FreeBSD.

2011-06-09 Thread Cristian Cadar
Applied in r132786, thanks. Cristian On 09/06/11 11:52, arrowdodger wrote: On Wed, Jun 1, 2011 at 4:18 PM, arrowdodger 6yearold at gmail.com mailto:6yearold at gmail.com wrote: Hello. Here is a quick fix for FreeBSD build. ___