fix to selecting Fedora release number
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 28 Aug 2007 21:52:38 +0000 (21:52 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 28 Aug 2007 21:52:38 +0000 (21:52 +0000)
bootcd.spec

index db28e6c..84829b3 100644 (file)
@@ -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