commit ead0a4199c731d708e988853fc199c2dacd749fb
parent 541870c10aa766cde4af6b1efff11c39e43b9ab2
Author: Joris Vink <joris@coders.se>
Date:   Wed, 22 Feb 2017 20:09:11 +0100
add little hint for kodev.
Diffstat:
src/kore.c  |  3 +++ 
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/src/kore.c b/src/kore.c
@@ -167,6 +167,9 @@ main(int argc, char *argv[])
 
 	kore_mem_init();
 
+	if (argc > 0)
+		fatal("did you mean to run `kodev“ instead?");
+
 	kore_pid = getpid();
 	nlisteners = 0;
 	LIST_INIT(&listeners);
