mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-03 20:36:16 +01:00 
			
		
		
		
	misc cleanup dbug/example1.c: cleanup dbug/example2.c: cleanup dbug/example3.c: cleanup dbug/main.c: cleanup dbug/user.r: document DBUG_OUTPUT()
		
			
				
	
	
		
			10 lines
		
	
	
	
		
			153 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			10 lines
		
	
	
	
		
			153 B
		
	
	
	
		
			C
		
	
	
	
	
	
main (argc, argv)
 | 
						|
int argc;
 | 
						|
char *argv[];
 | 
						|
{
 | 
						|
    printf ("argv[0] = %d\n", argv[0]);
 | 
						|
    /*
 | 
						|
     *	Rest of program
 | 
						|
     */
 | 
						|
    printf ("== done ==\n");
 | 
						|
}
 |