git://git.onelab.eu
/
myplc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6505a6c
)
fix to selecting Fedora release number
author
Marc Fiuczynski
<mef@cs.princeton.edu>
Tue, 28 Aug 2007 21:52:38 +0000
(21:52 +0000)
committer
Marc Fiuczynski
<mef@cs.princeton.edu>
Tue, 28 Aug 2007 21:52:38 +0000
(21:52 +0000)
build.functions
patch
|
blob
|
history
diff --git
a/build.functions
b/build.functions
index
c99941e
..
52d6ef9
100644
(file)
--- a/
build.functions
+++ b/
build.functions
@@
-6,7
+6,7
@@
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2006 The Trustees of Princeton University
#
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2006 The Trustees of Princeton University
#
-# $Id: build.functions,v 1.
7 2007/08/24 06:46:39
mef Exp $
+# $Id: build.functions,v 1.
8 2007/08/24 07:11:36
mef Exp $
#
PATH=/sbin:/bin:/usr/sbin:/usr/bin
#
PATH=/sbin:/bin:/usr/sbin:/usr/bin
@@
-25,7
+25,7
@@
fi
export PATH
# Release and architecture to install
export PATH
# Release and architecture to install
-PLC_DEVEL_FEDORA_RELEASE=$([ -f "/etc/fedora-release" ] && awk ' { if ($
3
=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
+PLC_DEVEL_FEDORA_RELEASE=$([ -f "/etc/fedora-release" ] && awk ' { if ($
2
=="Core") print $4; else print $3 } ' /etc/fedora-release || echo 4)
PLC_DEVEL_FEDORA_ARCH=$(uname -i)
# Fedora Core mirror from which to install filesystems
# xxx don't set URL... mkfedora will pick up the right thing
PLC_DEVEL_FEDORA_ARCH=$(uname -i)
# Fedora Core mirror from which to install filesystems
# xxx don't set URL... mkfedora will pick up the right thing