fix to selecting Fedora release number

diff --git a/bootmanager.spec b/bootmanager.spec
index 32d79bf..dbdcbad 100644 (file)
--- a/bootmanager.spec
+++ b/bootmanager.spec
@@ -33,7 +33,7 @@ pushd bootmanager
 
 ./build.sh
 pushd support-files
-./buildnode.sh -r $([ -f "/etc/fedora-release" ] && awk ' { if ($3=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
+./buildnode.sh -r $([ -f "/etc/fedora-release" ] && awk ' { if ($2=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
 popd
 
 popd

diff --git a/support-files/Makefile b/support-files/Makefile
index a565c3d..ea661e1 100644 (file)
--- a/support-files/Makefile
+++ b/support-files/Makefile
@@ -7,13 +7,13 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2005 The Trustees of Princeton University
 #
-# $Id: Makefile,v 1.5 2007/03/08 17:52:21 mef Exp $
+# $Id: Makefile,v 1.6 2007/08/24 06:13:56 mef Exp $
 # 
 
 all:   PlanetLab-Bootstrap.tar.bz2
 
 PlanetLab-Bootstrap.tar.bz2:
-       ./buildnode.sh -r $$([ -f "/etc/fedora-release" ] && awk ' { if ($3=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
+       ./buildnode.sh -r $$([ -f "/etc/fedora-release" ] && awk ' { if ($2=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
 
 clean:
        rm -f PlanetLab-Bootstrap.tar.bz2