 Giacomo Tesio
|
0e734fcf74
|
newlib: fix host configuration
|
2017-04-22 14:34:33 +02:00 |
|
Giacomo Tesio
|
729aef71c2
|
newlib: specify build and host to configure
|
2017-04-22 14:26:51 +02:00 |
|
Giacomo Tesio
|
9d09c4d45e
|
newlib: fix shell script
|
2017-04-22 13:59:42 +02:00 |
|
Giacomo Tesio
|
dc177db311
|
newlib: print config.log on build error
|
2017-04-22 12:05:27 +02:00 |
|
Giacomo Tesio
|
40111101ec
|
newlib: getppid
|
2017-04-22 00:42:13 +02:00 |
|
Giacomo Tesio
|
2872875ca9
|
newlib: better installation; $NEWLIB_OPTIMIZATION drives gcc -O flags
|
2017-04-21 23:52:18 +02:00 |
|
Giacomo Tesio
|
cf1572487e
|
newlib.sh: build and installs
|
2017-04-20 00:53:47 +02:00 |
|
Giacomo Tesio
|
b07c09e087
|
newlib: setup newlib sources
|
2017-04-19 23:08:16 +02:00 |