update for HEAD-2003091401
[reactos.git] / iface / addsys / genw32k.c
index d7908c5..83c8570 100644 (file)
@@ -22,8 +22,6 @@
 
 #define PARAMETERIZED_LIBS
 
-#define VERBOSE
-
 #define INPUT_BUFFER_SIZE 255
 
 #define INDEX  0x1000          /* SSDT index 1 */
@@ -307,7 +305,8 @@ process(
 
 void usage(char * argv0)
 {
-       printf("Usage: %s w32k.lst ssdt.h win32k.c win32k.c\n"
+       printf("Usage: %s w32ksvc.db w32k.lst ssdt.h win32k.c win32k.c\n"
+              "  w32ksvc.db    input file(system calls database)\n"
               "  w32k.lst      system functions database\n"
               "  ssdt.h        WIN32K service table\n"
               "  win32k.c      GDI32 stubs\n"