Fix the single-threaded Windows build
authorDavid Lichteblau <david@lichteblau.com>
Fri, 26 Oct 2012 17:35:17 +0000 (19:35 +0200)
committerDavid Lichteblau <david@lichteblau.com>
Fri, 26 Oct 2012 17:35:19 +0000 (19:35 +0200)
commit6631ac64bee62095049e4eaff68dee79c3fc9499
tree7d14fa9abcfd03fc79defd6e014f902f6e16d91d
parent784b5e283b15eb146670a9b3a2017dea0553ecc7
Fix the single-threaded Windows build

For this release, we purport to support Windows without threads as
an option.  Make it so.
src/runtime/win32-os.c