diff options
| -rw-r--r-- | ports/unix/Makefile | 1 | ||||
| -rw-r--r-- | supervisor/stub/stack.c | 7 |
2 files changed, 3 insertions, 5 deletions
diff --git a/ports/unix/Makefile b/ports/unix/Makefile index 79b203b6b..ae87a1625 100644 --- a/ports/unix/Makefile +++ b/ports/unix/Makefile @@ -149,6 +149,7 @@ SRC_C = \ alloc.c \ coverage.c \ fatfs_port.c \ + supervisor/stub/stack.c \ supervisor/shared/translate.c \ $(SRC_MOD) diff --git a/supervisor/stub/stack.c b/supervisor/stub/stack.c index 4d88e51d2..9a9ecd32f 100644 --- a/supervisor/stub/stack.c +++ b/supervisor/stub/stack.c @@ -24,11 +24,7 @@ * THE SOFTWARE. */ -#include <stdbool.h> -#include <stdint.h> - -void allocate_stack(void) { -} +#include "supervisor/shared/stack.h" bool stack_ok(void) { return true; @@ -44,6 +40,7 @@ void stack_resize(void) { } void set_next_stack_size(uint32_t size) { + (void) size; } uint32_t get_current_stack_size(void) { |