git://git.onelab.eu
/
build.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
we need hostname when building
[build.git]
/
build.common
diff --git
a/build.common
b/build.common
index
89540ed
..
c0c73de
100644
(file)
--- a/
build.common
+++ b/
build.common
@@
-7,8
+7,8
@@
# Copyright (C) 2007 The Trustees of Princeton University
# Thierry Parmentelat <thierry.parmentelat@inria.fr> INRIA
#
# Copyright (C) 2007 The Trustees of Princeton University
# Thierry Parmentelat <thierry.parmentelat@inria.fr> INRIA
#
-# supported distros f
12 f14 f16 f18 f20 f21 f22
-#
and debians/ubuntus to a lesser extent
+# supported distros f
edoras, and debians/ubuntus to a lesser extent
+#
centos's and scientific linux's have been used too quite a while ago
#
# for locating pkgs.py
export PATH=.:$PATH
#
# for locating pkgs.py
export PATH=.:$PATH
@@
-23,7
+23,6
@@
function pl_getDistro() {
distro=$DISTRIB_CODENAME
elif [ -f /etc/debian_version ] ; then
case $(cat /etc/debian_version) in
distro=$DISTRIB_CODENAME
elif [ -f /etc/debian_version ] ; then
case $(cat /etc/debian_version) in
- 6.*) distro=squeeze ;;
7.*) distro=wheezy ;;
# might be that I'm getting 'jessie'sid' just because it's still testing..
8.*|jessie*) distro=jessie ;;
7.*) distro=wheezy ;;
# might be that I'm getting 'jessie'sid' just because it's still testing..
8.*|jessie*) distro=jessie ;;
@@
-66,7
+65,7
@@
function pl_getReleaseName () {
[Ss]L*)
releasename=sl$release
;;
[Ss]L*)
releasename=sl$release
;;
-
squeeze|wheezy|jessie|oneiric|precise|quantal|raring|saucy|trusty|utopic|vivid
)
+
wheezy|jessie|precise|trusty|utopic|vivid|wily|xenial
)
releasename=$distro
;;
*)
releasename=$distro
;;
*)