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:
ea9f98c
)
fix getdistro for debians as wheezy has gone from 7.0 to 7.1
author
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Wed, 26 Jun 2013 06:54:41 +0000
(08:54 +0200)
committer
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Wed, 26 Jun 2013 06:54:41 +0000
(08:54 +0200)
build.common
patch
|
blob
|
history
diff --git
a/build.common
b/build.common
index
5d49603
..
53371c0
100644
(file)
--- a/
build.common
+++ b/
build.common
@@
-22,8
+22,8
@@
function pl_getDistro() {
echo $DISTRIB_CODENAME
elif [ -f /etc/debian_version ] ; then
case $(cat /etc/debian_version) in
- 6.
0.6
) distro=squeeze ;;
- 7.
0
) distro=wheezy ;;
+ 6.
*
) distro=squeeze ;;
+ 7.
*
) distro=wheezy ;;
*) distro=unknown.debian.in.build.common ;;
esac
fi