Make Fedora 7 compatible
authorMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 24 Aug 2007 06:37:14 +0000 (06:37 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 24 Aug 2007 06:37:14 +0000 (06:37 +0000)
bootmanager.spec

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