From 894f306e0ecbf84bf3a4d37060901c6e3a39c893 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Tue, 28 Aug 2007 21:52:38 +0000
Subject: [PATCH] fix to selecting Fedora release number

---
 bootcd.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootcd.spec b/bootcd.spec
index db28e6c..84829b3 100644
--- a/bootcd.spec
+++ b/bootcd.spec
@@ -40,7 +40,7 @@ Central servers.
 pushd bootcd
 
 # Build the reference image
-./prep.sh -a $(uname -i) -r $([ -f "/etc/fedora-release" ] && awk ' { if ($3=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
+./prep.sh -a $(uname -i) -r $([ -f "/etc/fedora-release" ] && awk ' { if ($2=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
 
 # Build the default configuration (PlanetLab)
 ./build.sh
-- 
2.43.0