GaloisInc/HaLVM — pull request #29 by TomMD (2014-06-13 21:46:02+00:00)
Title: Make re-installs easier by copying minlibc files.

The previous method, copying directories, would appear to succeed the
first time only to have placed the header files in a subdirectory. The
new method, copying the files within a directory, will overwrite
pre-existing include files.