mirror of the now-defunct rocklinux.org
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

43 lines
2.0 KiB

  1. # --- ROCK-COPYRIGHT-NOTE-BEGIN ---
  2. #
  3. # This copyright note is auto-generated by ./scripts/Create-CopyPatch.
  4. # Please add additional copyright information _after_ the line containing
  5. # the ROCK-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by
  6. # the ./scripts/Create-CopyPatch script. Do not edit this copyright text!
  7. #
  8. # ROCK Linux: rock-src/package/base/flex/head-tail.patch
  9. # ROCK Linux is Copyright (C) 1998 - 2006 Clifford Wolf
  10. #
  11. # This patch file is dual-licensed. It is available under the license the
  12. # patched project is licensed under, as long as it is an OpenSource license
  13. # as defined at http://www.opensource.org/ (e.g. BSD, X11) or under the terms
  14. # of the GNU General Public License as published by the Free Software
  15. # Foundation; either version 2 of the License, or (at your option) any later
  16. # version.
  17. #
  18. # --- ROCK-COPYRIGHT-NOTE-END ---
  19. diff -dur flex-2.5.31/configure flex-2.5.31-p/configure
  20. --- flex-2.5.31/configure 2003-04-01 18:32:25.000000000 +0200
  21. +++ flex-2.5.31-p/configure 2004-11-04 18:57:48.007085480 +0100
  22. @@ -5825,7 +5825,7 @@
  23. if test "$INDENT" != indent ; then
  24. echo "$as_me:$LINENO: checking if $INDENT is GNU indent" >&5
  25. echo $ECHO_N "checking if $INDENT is GNU indent... $ECHO_C" >&6
  26. - if $INDENT --version 2>/dev/null | head -1|grep "GNU indent" > /dev/null ; then
  27. + if $INDENT --version 2>/dev/null | head -n1|grep "GNU indent" > /dev/null ; then
  28. echo "$as_me:$LINENO: result: yes" >&5
  29. echo "${ECHO_T}yes" >&6
  30. else
  31. diff -dur flex-2.5.31/configure.in flex-2.5.31-p/configure.in
  32. --- flex-2.5.31/configure.in 2003-04-01 18:17:51.000000000 +0200
  33. +++ flex-2.5.31-p/configure.in 2004-11-04 18:57:39.858324280 +0100
  34. @@ -48,7 +48,7 @@
  35. dnl if INDENT is set to 'indent' then we didn't find indent
  36. if test "$INDENT" != indent ; then
  37. AC_MSG_CHECKING(if $INDENT is GNU indent)
  38. - if $INDENT --version 2>/dev/null | head -1|grep "GNU indent" > /dev/null ; then
  39. + if $INDENT --version 2>/dev/null | head -n1|grep "GNU indent" > /dev/null ; then
  40. AC_MSG_RESULT(yes)
  41. else
  42. AC_MSG_RESULT(no)