diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2018-11-12 13:47:44 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2018-11-12 13:47:44 +0100 |
| commit | ee720ed3bcc18fad43127d27e9d57781ecc91393 (patch) | |
| tree | 1d392d5d5613bd6fa2d6b7572dc4c1744139605a /Makefile | |
| parent | 96462e6b5be917a5146eaae62234432f1030898f (diff) | |
prototest: json serialization
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -116,6 +116,10 @@ ifeq (${wakeup}, 1) COMMON_FLAGS += -DWITH_WAKEUP endif +ifeq (${ostream}, 1) + COMMON_FLAGS += -DWITH_OSTREAM +endif + include src/arch/${arch}/Makefile.inc clean: arch_clean |