comparison src/elab_util.sml @ 1882:77cde56d41b6

Change Pthread thread creation logic to avoid Cygwin limitations with setting stack size
author Adam Chlipala <adam@chlipala.net>
date Mon, 14 Oct 2013 08:08:57 -0400
parents 1aa9629e3a4c
children 403f0cc65b9c
comparison
equal deleted inserted replaced
1881:a5b08bdfa450 1882:77cde56d41b6