git://git.onelab.eu
/
build.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
73403c9
)
fix the way debian distros are sensed, for squeeze that does dot have /etc/os-release
author
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Fri, 18 Jan 2013 07:44:22 +0000
(08:44 +0100)
committer
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Fri, 18 Jan 2013 07:44:22 +0000
(08:44 +0100)
build.common
patch
|
blob
|
history
diff --git
a/build.common
b/build.common
index
c11fd45
..
228a6ad
100644
(file)
--- a/
build.common
+++ b/
build.common
@@
-18,9
+18,11
@@
function pl_getDistro() {
distro=$(awk ' { print $1 } ' /etc/redhat-release)
case $distro in Scientific*) distro="SL" ; esac
elif [ -f /etc/debian_version ] ; then
- for known in lenny squeeze wheezy jessie; do
- grep -q $known /etc/os-release && distro=$known
- done
+ case $(cat /etc/debian_version) in
+ 6.0.6) distro=squeeze ;;
+ 7.0) distro=wheezy ;;
+ *) distro=unknown.debian.in.ubild.common ;;
+ esac
fi
[ -z "$distro" ] && { echo "build.common.pl_getDistro-unknown"; exit 1; }
echo "$distro"