bugfix: config header missing in save/restore/BP aspects

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1602 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-09-06 18:14:19 +00:00
parent 712c674575
commit 8ca5893b69
3 changed files with 3 additions and 0 deletions
--- a/src/core/sal/bochs/Breakpoints.ah
+++ b/src/core/sal/bochs/Breakpoints.ah
@ -1,6 +1,7 @@
 #ifndef __BREAKPOINTS_AH__
  #define __BREAKPOINTS_AH__

+#include "config/VariantConfig.hpp"
 #include "config/FailConfig.hpp"

 #ifdef BUILD_BOCHS
--- a/src/core/sal/bochs/RestoreState.ah
+++ b/src/core/sal/bochs/RestoreState.ah
@ -1,6 +1,7 @@
 #ifndef __RESTORE_STATE_AH__
  #define __RESTORE_STATE_AH__

+#include "config/VariantConfig.hpp"
 #include "config/FailConfig.hpp"

 #ifdef BUILD_BOCHS
--- a/src/core/sal/bochs/SaveState.ah
+++ b/src/core/sal/bochs/SaveState.ah
@ -1,6 +1,7 @@
 #ifndef _SAVE_STATE_AH__
  #define _SAVE_STATE_AH__

+#include "config/VariantConfig.hpp"
 #include "config/FailConfig.hpp"

 #ifdef BUILD_BOCHS