From: Ben Pfaff Date: Tue, 31 Aug 2004 01:00:37 +0000 (+0000) Subject: Declare argc, argv. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6590923cc6884c88389dc5333e7f113d25022c36;p=pintos-anon Declare argc, argv. --- diff --git a/src/threads/init.h b/src/threads/init.h index 2c73fd9..e23269d 100644 --- a/src/threads/init.h +++ b/src/threads/init.h @@ -8,4 +8,7 @@ struct tss *tss; extern size_t kernel_pages; extern size_t ram_pages; +extern int argc; +extern char *argv[]; + #endif /* init.h */