| Index: tools/stm/one-stm-lib.ar
|
| diff --git a/tools/stm/one-stm-lib.ar b/tools/stm/one-stm-lib.ar
|
| index 7d848cc1f290067e0ae60d7b045deefaac67178f..75f45fef50fed19b85c5d38e9e260901cb8d11b6 100644
|
| --- a/tools/stm/one-stm-lib.ar
|
| +++ b/tools/stm/one-stm-lib.ar
|
| @@ -1,7 +1,7 @@
|
| -CREATE libone_disco_fletch.a
|
| -ADDLIB libdisco_fletch.a
|
| -ADDLIB libfletch_vm_library.a
|
| -ADDLIB libfletch_shared.a
|
| +CREATE libone_disco_dartino.a
|
| +ADDLIB libdisco_dartino.a
|
| +ADDLIB libdartino_vm_library.a
|
| +ADDLIB libdartino_shared.a
|
| ADDLIB libdouble_conversion.a
|
| SAVE
|
| END
|
|
|