diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-11-16 09:49:51 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-17 21:42:33 +0100 |
commit | 7f0d869d3defdebf01086a371752d13d5351a8f4 (patch) | |
tree | 9d329782c12e525a48c3201be5d63edd9007d419 /ddb | |
parent | 10648165a5458fea1a4895a2b9647f960b4e3fb6 (diff) |
ddb/db_run.h: add ifndef
* ddb/db_run.h: Add ifndef.
Diffstat (limited to 'ddb')
-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_ */ |