make Fedora 7 compatible

diff --git a/support-files/Makefile b/support-files/Makefile
index 8d4a571..a565c3d 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.4 2006/08/20 21:21:13 thierry Exp $
+# $Id: Makefile,v 1.5 2007/03/08 17:52:21 mef Exp $
 # 
 
 all:   PlanetLab-Bootstrap.tar.bz2
 
 PlanetLab-Bootstrap.tar.bz2:
-       ./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)
 
 clean:
        rm -f PlanetLab-Bootstrap.tar.bz2