Commit 518a3663 authored by sof@galois.com's avatar sof@galois.com

rejig library include/ files

parent 171d4582
......@@ -98,6 +98,8 @@ rmdir bin/i386-unknown-mingw32
strip bin/ghc.exe
echo "rejig lib/"
mv lib/i386-unknown-mingw32/include/* include/
rmdir lib/i386-unknown-mingw32/include
mv lib/i386-unknown-mingw32/* .
rmdir lib/i386-unknown-mingw32
rmdir lib
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment