Module: xenomai-forge
Branch: next
Commit: 8275865ab273e5a35a078eb78e748da634fa8d8d
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=8275865ab273e5a35a078eb78e748da634fa8d8d

Author: Philippe Gerum <r...@xenomai.org>
Date:   Tue Jul  1 12:55:26 2014 +0200

scripts/xeno-config: use version program to get complete stamp

---

 scripts/xeno-config-cobalt.in  |   15 ++++++++++-----
 scripts/xeno-config-mercury.in |   11 +++++++----
 2 files changed, 17 insertions(+), 9 deletions(-)

diff --git a/scripts/xeno-config-cobalt.in b/scripts/xeno-config-cobalt.in
index cc15b90..0d694a1 100644
--- a/scripts/xeno-config-cobalt.in
+++ b/scripts/xeno-config-cobalt.in
@@ -66,19 +66,24 @@ EOF
 
 dump_info ()
 {
+    version=${XENO_VERSION}
+    if test -x $XENO_PREFIX/sbin/version; then
+       _version=`$XENO_PREFIX/sbin/version 2>/dev/null`
+       test x$_version = x || version=$_version
+    fi
+    echo "Xenomai version: ${version}"
     if test -r /proc/ipipe/version; then
-       uname -a 2>/dev/null || echo "cannot determine system information 
(uname?)"
+       uname -a 2>/dev/null || echo "Cannot determine system information 
(uname?)"
        echo "Kernel parameters: `cat /proc/cmdline`"
        echo "I-pipe release #`cat /proc/ipipe/version` detected"
        if test -r /proc/xenomai/version; then
-           echo "Xenomai/cobalt `cat /proc/xenomai/version` detected"
+           echo "Cobalt core `cat /proc/xenomai/version` detected"
        else
-           echo "Xenomai/cobalt disabled on this system"
+           echo "Cobalt core disabled on this system"
        fi
     else
-           echo "Xenomai/cobalt is NOT present on this system"
+           echo "Cobalt core is NOT present on this system"
     fi
-
     eval echo "Configure args: @XENO_CONFIG_ARGS@"
     exit 0
 }
diff --git a/scripts/xeno-config-mercury.in b/scripts/xeno-config-mercury.in
index 9ff0dc2..92764cb 100644
--- a/scripts/xeno-config-mercury.in
+++ b/scripts/xeno-config-mercury.in
@@ -60,11 +60,14 @@ verbose ()
 
 dump_info ()
 {
-    uname -a 2>/dev/null || echo "cannot determine system information (uname?)"
-    echo "Kernel parameters: `cat /proc/cmdline`"
-    if test -r /mnt/xenomai/system/version; then
-       echo "Xenomai/mercury `cat /mnt/xenomai/system/version` detected"
+    version=${XENO_VERSION}
+    if test -x $XENO_PREFIX/sbin/version; then
+       _version=`$XENO_PREFIX/sbin/version 2>/dev/null`
+       test x$_version = x || version=$_version
     fi
+    echo "Xenomai version: ${version}"
+    uname -a 2>/dev/null || echo "Cannot determine system information (uname?)"
+    echo "Kernel parameters: `cat /proc/cmdline`"
     eval echo "Configure args: @XENO_CONFIG_ARGS@"
 }
 


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to