From ef972bcbc79edd1d49a554c3307bc986e19c1732 Mon Sep 17 00:00:00 2001
From: Joanna Rutkowska <joanna@invisiblethingslab.com>
Date: Thu, 28 Feb 2013 13:43:32 +0000
Subject: [PATCH] Makefile: use fc18 as default value for DIST_DOM0

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8a98b276..4d757596 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ VERSION_VAIO_FIXES := $(shell cat version_vaio_fixes)
 VERSION_VM := $(shell cat version_vm)
 VERSION_LIBS := $(shell cat version_libs)
 
-DIST_DOM0 ?= fc13
+DIST_DOM0 ?= fc18
 
 help:
 	@echo "make rpms                  -- generate binary rpm packages"