Gregory Nutt
|
80f4f1fab8
|
configs/pcblogic-pic32mx, sure-pic32mx, ubw32: Update configurations so that the MIPs or Penguino toolchains may be used.
|
2018-06-29 11:38:12 -06:00 |
|
Gregory Nutt
|
dc8941e958
|
configs/: Add definition of strip to many Make.defs files.
|
2018-03-25 09:25:37 -06:00 |
|
Gregory Nutt
|
7577dba2c3
|
Move remaining, unique Make.defs files into scripts directory.
|
2017-07-11 11:40:27 -06:00 |
|
Gregory Nutt
|
7e0b63242c
|
Move remaining, unique Make.defs files into scripts directory.
|
2017-07-11 11:39:07 -06:00 |
|
Gregory Nutt
|
e40ccc1b60
|
Move remaining, unique Make.defs files into scripts directory.
|
2017-07-11 11:14:11 -06:00 |
|