summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorScott Shawcroft <scott@tannewt.org>2018-12-06 17:12:30 -0800
committerScott Shawcroft <scott@tannewt.org>2018-12-06 17:12:30 -0800
commit808ca676b61b446a02792c7d77acb73dfd203244 (patch)
tree6d46119331494138f86d19b7a71ed30388b49fd0
parent288ec84c2163b6dbe6c55715f1330559ca27e26b (diff)
Fix unix
-rw-r--r--ports/unix/Makefile1
-rw-r--r--supervisor/stub/stack.c7
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) {