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.

24 lines
1.2 KiB

  1. diff -dur flex-2.5.31/configure flex-2.5.31-p/configure
  2. --- flex-2.5.31/configure 2003-04-01 18:32:25.000000000 +0200
  3. +++ flex-2.5.31-p/configure 2004-11-04 18:57:48.007085480 +0100
  4. @@ -5825,7 +5825,7 @@
  5. if test "$INDENT" != indent ; then
  6. echo "$as_me:$LINENO: checking if $INDENT is GNU indent" >&5
  7. echo $ECHO_N "checking if $INDENT is GNU indent... $ECHO_C" >&6
  8. - if $INDENT --version 2>/dev/null | head -1|grep "GNU indent" > /dev/null ; then
  9. + if $INDENT --version 2>/dev/null | head -n1|grep "GNU indent" > /dev/null ; then
  10. echo "$as_me:$LINENO: result: yes" >&5
  11. echo "${ECHO_T}yes" >&6
  12. else
  13. diff -dur flex-2.5.31/configure.in flex-2.5.31-p/configure.in
  14. --- flex-2.5.31/configure.in 2003-04-01 18:17:51.000000000 +0200
  15. +++ flex-2.5.31-p/configure.in 2004-11-04 18:57:39.858324280 +0100
  16. @@ -48,7 +48,7 @@
  17. dnl if INDENT is set to 'indent' then we didn't find indent
  18. if test "$INDENT" != indent ; then
  19. AC_MSG_CHECKING(if $INDENT is GNU indent)
  20. - if $INDENT --version 2>/dev/null | head -1|grep "GNU indent" > /dev/null ; then
  21. + if $INDENT --version 2>/dev/null | head -n1|grep "GNU indent" > /dev/null ; then
  22. AC_MSG_RESULT(yes)
  23. else
  24. AC_MSG_RESULT(no)