Try to be careful about extracting the linux version from the (uname)
authorRaymond Toy <toy.raymond@gmail.com>
Sat, 23 Mar 2013 03:10:16 +0000 (20:10 -0700)
committerRaymond Toy <toy.raymond@gmail.com>
Sat, 23 Mar 2013 03:10:16 +0000 (20:10 -0700)
commitf51ee9dc1f66b02f7a9a0826b70550f3bc9fb222
treee46d71acd0f390358da8611ecf9a98483507a626
parent1e8b06be53f874e64d4f687247188349388fb1b4
Try to be careful about extracting the linux version from the (uname)
release.  Some Debian versions have a release name like "3.7-trunk",
which is missing the patch version.
src/lisp/Linux-os.c