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

Author: Philippe Gerum <r...@xenomai.org>
Date:   Wed Feb 15 16:30:28 2017 +0100

scripts/prepare-kernel.sh: drop lookup for default I-pipe patch

---

 scripts/prepare-kernel.sh |   26 ++++++--------------------
 1 file changed, 6 insertions(+), 20 deletions(-)

diff --git a/scripts/prepare-kernel.sh b/scripts/prepare-kernel.sh
index 333d11c..398ebcb 100755
--- a/scripts/prepare-kernel.sh
+++ b/scripts/prepare-kernel.sh
@@ -317,31 +317,17 @@ fi
 
 if test -r $linux_tree/include/linux/ipipe.h; then
     if test x$verbose = x1; then
-    echo "I-pipe found - bypassing patch."
+       echo "I-pipe found - bypassing patch."
     fi
 else
-   if test x$ipipe_patch = x; then
-      # Pick ipipe-core-* patches based on the highest numbered
-      # sequence/release number.
-      default_ipipe_patch="`( ls 
$xenomai_root/kernel/cobalt/arch/$linux_arch/patches/ipipe-core-$linux_version*-$linux_arch-*|sort
 -r ) 2>/dev/null | head -n1`"
-   fi
-   if test x$default_ipipe_patch = x; then
-      if test x$verbose = x1; then
-         echo "$me: no default I-pipe patch found." >&2
-      fi
-      default_ipipe_patch=/dev/null
+   if test x$verbose = x1; then
+      echo "$me: no I-pipe support found." >&2
    fi
    while test x$ipipe_patch = x; do
-      if test x$usedefault = x; then
-         echo -n "I-pipe patch [default $default_ipipe_patch]: "
-         read ipipe_patch
-      fi
-      if test x$ipipe_patch = x; then
-         ipipe_patch=$default_ipipe_patch
-      fi
-      if test \! -r "$ipipe_patch" -o x$ipipe_patch = x/dev/null; then
+      echo -n "I-pipe patch: "
+      read ipipe_patch
+      if test \! -r "$ipipe_patch" -o x$ipipe_patch = x; then
          echo "$me: cannot read I-pipe patch from $ipipe_patch" >&2
-         usedefault=
          ipipe_patch=
       fi
    done


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

Reply via email to