Use new flushExec implementation on all operating systems (#8562)
authorChristopher Rodrigues <cirodrig@illinois.edu>
Sat, 30 Nov 2013 05:05:50 +0000 (23:05 -0600)
committerAustin Seipp <austin@well-typed.com>
Wed, 4 Dec 2013 20:44:02 +0000 (14:44 -0600)
commit95854ca5276e3f4063ade7fe3a934bed46648270
tree66a5dd24b157a9a4282f10b0d4c59277e0148a23
parentfe68ad50f3fa7d73df691f9fd9decd17a72b8b46
Use new flushExec implementation on all operating systems (#8562)

An earlier patch fixes a bug in flushExec on linux only.  This
patch uses the fixed code on all operating systems.

Signed-off-by: Austin Seipp <austin@well-typed.com>
rts/sm/Storage.c