Changeset: f7dcfc1e4035 for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=f7dcfc1e4035
Modified Files:
configure.ag
Branch: Jan2014
Log Message:
Use ID field in /etc/os-release instead of NAME field.
The NAME field may contain spaces, which causes "make rpm" to fail.
diffs (12 lines):
diff --git a/configure.ag b/configure.ag
--- a/configure.ag
+++ b/configure.ag
@@ -486,7 +486,7 @@ case "$host_os" in
if test -s /etc/os-release; then
# this is the new way of getting release information
# works for Fedora >= 17, Ubuntu >= 12.04 (Precise Pangolin)
- LINUX_DIST=`source /etc/os-release; echo ${NAME}:${VERSION_ID}`
+ LINUX_DIST=`source /etc/os-release; echo ${ID}:${VERSION_ID}`
elif test -s /etc/fedora-release ; then
LINUX_DIST="`cat /etc/fedora-release | head -n1 \
| sed 's|^.*\(Fedora\).* release \([[0-9]][[^ \n]]*\)\(
.*\)*$|\1:\2|'`"
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
