X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcommand.h;h=b051a4be1b8773cdc8a218b095c875e2e544ebdf;hb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;hp=0a61996d5e6b94187f02661019e7f980606590d5;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/command.h b/src/command.h
index 0a61996d5e..b051a4be1b 100644
--- a/src/command.h
+++ b/src/command.h
@@ -46,4 +46,12 @@ extern const char *cur_proc;
 void cmd_init (void);
 int cmd_parse (void);
 
+/* Prototype all the command functions. */
+#define DEFCMD(NAME, T1, T2, T3, T4, FUNC)	\
+	int FUNC (void);
+#define UNIMPL(NAME, T1, T2, T3, T4)
+#include "command.def"
+#undef DEFCMD
+#undef UNIMPL
+
 #endif /* !command_h */