diff --git a/disco/Makefile b/disco/Makefile
index fbfb667..2fa2113 100644
--- a/disco/Makefile
+++ b/disco/Makefile
@@ -1,12 +1,12 @@
 TARGET		:= disco.elf
-LOCAL_CFLAGS	:= -Os -fno-builtin-printf -Isrc
+LOCAL_CFLAGS	:= -Os -fno-builtin-printf -Isrc -Wextra -pedantic
 LOCAL_SRC_C	:= \
-	tests/test_disco.c \
 	src/disco_asymmetric.c \
 	src/disco_symmetric.c \
 	src/tweetstrobe.c \
 	src/tweetX25519.c \
-	src/devurandom.c
+	src/devurandom.c \
+	tests/test_disco.c
 
 include ../conf/toolchain.mk
 include ../conf/sdk.mk
diff --git a/disco/src/devurandom.c b/disco/src/devurandom.c
index f2db07b..f52e93b 100644
--- a/disco/src/devurandom.c
+++ b/disco/src/devurandom.c
@@ -2,7 +2,7 @@
 #include <unistd.h>
 
 static int fd = -1;
-
 void randombytes(unsigned char *x, unsigned long long xlen) {
-  /* TODO */
+        /* TODO */
+        (void)fd,(void)x,(void)xlen;
 }