diff options
Diffstat (limited to 'server/src/artefact.h')
| -rw-r--r-- | server/src/artefact.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/server/src/artefact.h b/server/src/artefact.h index 7eb1a6b..fa1602d 100644 --- a/server/src/artefact.h +++ b/server/src/artefact.h @@ -31,7 +31,9 @@ #include "template.h" #include "queryresult.h" +#ifndef WITHOUT_ARTEFACT #include <libartefact.h> +#endif/*WITHOUT_ARTEFACT*/ class Artefact { public: @@ -43,8 +45,10 @@ public: std::string user); private: +#ifndef WITHOUT_ARTEFACT atf_handle_t *atfh; atf_connection_t *conn; +#endif/*WITHOUT_ARTEFACT*/ }; #endif/*__PRACRO_ARTEFACT_H__*/ |