diff options
| -rw-r--r-- | ddb/db_run.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ddb/db_run.h b/ddb/db_run.h index e138f60..ee6e6f5 100644 --- a/ddb/db_run.h +++ b/ddb/db_run.h @@ -24,6 +24,9 @@ * the rights to redistribute these changes. */ +#ifndef _DDB_DB_RUN_H_ +#define _DDB_DB_RUN_H_ + #include <kern/task.h> #include <machine/db_machdep.h> @@ -66,3 +69,5 @@ void db_continue_cmd( char * modif); extern boolean_t db_in_single_step(void); + +#endif /* _DDB_DB_RUN_H_ */ |