src/etc/toolcheck

   1 #!/bin/sh
   2 # toolcheck -- check for tools that have severe bugs. Good that all the buggy
   3 #              tools identify by version numbers. This is the spirit of GNU :-)
   4 #
   5 # 24.7.95 jw.
   6
   7 retval=0
   8 reply="`sh -version 2>&1 < /dev/null | sed q`"
   9 case "$reply" in
  10         GNU*1.14.3*)
  11                 echo "- sh  is '$reply'";
  12                 echo "  CAUTION: This shell has a buggy 'trap' command.";
  13                 echo "           The configure script may fail silently.";
  14                 retval=1;
  15                 ;;
  16         GNU*1.14.2*|GNU*1.14.4*|GNU*1.13.*)
  17                 echo "- sh  is '$reply' - good.";
  18                 ;;
  19         GNU*)   echo "- sh  is '$reply'.";
  20                 ;;
  21         *)      ;;
  22 esac
  23
  24 reply="`sed --version 2>&1 < /dev/null | sed q`"
  25 case "$reply" in
  26         GNU\ sed\ version\ 2.0[34])
  27                 echo "- sed is '$reply'";
  28                 echo "  CAUTION: This sed cannot configure screen properly."
  29                 retval=1;
  30                 ;;
  31         GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin)
  32                 echo "- sed is '$reply' - good.";
  33                 ;;
  34         GNU*)   echo "- sed is '$reply'.";
  35                 ;;
  36         *)      ;;
  37 esac
  38
  39 if [ "$retval" != 0 ]; then
  40   echo " ***********************************************************"
  41   echo " Please fix the above problem before reporting a screen bug!"
  42   echo " ***********************************************************"
  43 fi
  44 exit $retval