summaryrefslogtreecommitdiff
path: root/ddb
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-11-16 09:49:51 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-11-17 21:42:33 +0100
commit7f0d869d3defdebf01086a371752d13d5351a8f4 (patch)
tree9d329782c12e525a48c3201be5d63edd9007d419 /ddb
parent10648165a5458fea1a4895a2b9647f960b4e3fb6 (diff)
ddb/db_run.h: add ifndef
* ddb/db_run.h: Add ifndef.
Diffstat (limited to 'ddb')
-rw-r--r--ddb/db_run.h5
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_ */