Module: xenomai-3 Branch: stable-3.0.x 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