diff options
| -rw-r--r-- | server/char_device.c | 1 | ||||
| -rw-r--r-- | server/spice_timer_queue.c | 1 | ||||
| -rw-r--r-- | server/tests/test_vdagent.c | 2 |
3 files changed, 3 insertions, 1 deletions
diff --git a/server/char_device.c b/server/char_device.c index 721bd8d9..792ab9c5 100644 --- a/server/char_device.c +++ b/server/char_device.c @@ -20,6 +20,7 @@ */ +#include <config.h> #include "char_device.h" #include "red_channel.h" #include "reds.h" diff --git a/server/spice_timer_queue.c b/server/spice_timer_queue.c index 690ab831..833ab1d1 100644 --- a/server/spice_timer_queue.c +++ b/server/spice_timer_queue.c @@ -15,6 +15,7 @@ You should have received a copy of the GNU Lesser General Public License along with this library; if not, see <http://www.gnu.org/licenses/>. */ +#include <config.h> #include <pthread.h> #include "red_common.h" #include "spice_timer_queue.h" diff --git a/server/tests/test_vdagent.c b/server/tests/test_vdagent.c index bb267ddc..af331457 100644 --- a/server/tests/test_vdagent.c +++ b/server/tests/test_vdagent.c @@ -2,8 +2,8 @@ * Test vdagent guest to server messages */ -#include <string.h> #include <config.h> +#include <string.h> #include <stdlib.h> #include <stdio.h> |