[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-devel] [PATCH] check for 'flex' before starting tools build


  • To: xen-devel@xxxxxxxxxxxxxxxxxxx
  • From: Olaf Hering <olaf@xxxxxxxxx>
  • Date: Tue, 11 Oct 2011 14:11:04 +0200
  • Delivery-date: Tue, 11 Oct 2011 05:11:56 -0700
  • List-id: Xen developer discussion <xen-devel.lists.xensource.com>

# HG changeset patch
# User Olaf Hering <olaf@xxxxxxxxx>
# Date 1318335031 -7200
# Node ID 5a5181b8c31983ff2f465f85a41df784a5397ed5
# Parent  4b0907c6a08c348962bd976c2976257b412408be
check for 'flex' before starting tools build.

Signed-off-by: Olaf Hering <olaf@xxxxxxxxx>

diff -r 4b0907c6a08c -r 5a5181b8c319 tools/check/check_flex
--- /dev/null
+++ b/tools/check/check_flex
@@ -0,0 +1,6 @@
+#!/bin/sh
+# CHECK-BUILD
+
+. ./funcs.sh
+
+has_or_fail flex

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.