wok diff mingw32-toolchain/stuff/mingw32.conf @ rev 19070
Add: Wallditty wallpaper by beach
author | Leonardo Laporte <hackdorte@sapo.pt> |
---|---|
date | Fri Apr 22 17:56:36 2016 -0300 (2016-04-22) |
parents | |
children |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/mingw32-toolchain/stuff/mingw32.conf Fri Apr 22 17:56:36 2016 -0300 1.3 @@ -0,0 +1,6 @@ 1.4 + 1.5 +MINGW32_TARGET="i586-pc-mingw32" 1.6 +MINGW32_ROOT="/usr/$MINGW32_TARGET" 1.7 + 1.8 +# Need exception for FSH incompleteness 1.9 +FSH="$FSH $MINGW32_ROOT"