From 2d3d3dee22cea923a1dc0b4db653305f38cc8d2f Mon Sep 17 00:00:00 2001
From: Marek Marczykowski <marmarek@invisiblethingslab.com>
Date: Tue, 19 Mar 2013 15:23:17 +0100
Subject: [PATCH] Add Makefile.builder

---
 Makefile.builder | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 Makefile.builder

diff --git a/Makefile.builder b/Makefile.builder
new file mode 100644
index 0000000..53cd005
--- /dev/null
+++ b/Makefile.builder
@@ -0,0 +1,3 @@
+ifeq ($(PACKAGE_SET),dom0)
+RPM_SPEC_FILES := rpm_spec/core-dom0-linux.spec rpm_spec/core-dom0-vaio-fixes.spec
+endif