16 |
int ipconfig_main(int argc, char *argv[]); |
int ipconfig_main(int argc, char *argv[]); |
17 |
uint32_t ipconfig_server_address(void *next); |
uint32_t ipconfig_server_address(void *next); |
18 |
|
|
19 |
/* |
#ifdef DEBUG |
20 |
* Note for gcc 3.2.2: |
# define dprintf printf |
|
* |
|
|
* If you're turning on debugging, make sure you get rid of -Os from |
|
|
* the gcc command line, or else ipconfig will fail to link. |
|
|
*/ |
|
|
#undef IPC_DEBUG |
|
|
|
|
|
#undef DEBUG |
|
|
#ifdef IPC_DEBUG |
|
|
#define DEBUG(x) printf x |
|
21 |
#else |
#else |
22 |
#define DEBUG(x) do { } while(0) |
# define dprintf(...) ((void)0) |
23 |
#endif |
#endif |
24 |
|
|
25 |
#endif /* IPCONFIG_IPCONFIG_H */ |
#endif /* IPCONFIG_IPCONFIG_H */ |