fix the way debian distros are sensed, for squeeze that does dot have /etc/os-release
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 18 Jan 2013 07:44:22 +0000 (08:44 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 18 Jan 2013 07:44:22 +0000 (08:44 +0100)
commit901a464e863db5a992841f84217c89a373b3c0c2
treef9f37addb1f59d1c95bb4b41497a2d37d14087fd
parent73403c973f0903b4b8f84507e37503c53e0d41fd
fix the way debian distros are sensed, for squeeze that does dot have /etc/os-release
build.common