52 case "$OS" in

    52 case "$OS" in

    53   SunOS | Linux )

    53   SunOS | Linux )

    54     NULL=/dev/null

    54     NULL=/dev/null

    55     PS=":"

    55     PS=":"

    56     FS="/"

    56     FS="/"

    58     ;;

    57     ;;

    59   CYGWIN* )

    58   CYGWIN* )

    60     NULL=/dev/null

    59     NULL=/dev/null

    61     PS=";"

    60     PS=";"

    62     FS="/"

    61     FS="/"

    64     ;;

    62     ;;

    65   Windows_95 | Windows_98 | Windows_NT )

    63   Windows_95 | Windows_98 | Windows_NT )

    66     NULL=NUL

    64     NULL=NUL

    67     PS=";"

    65     PS=";"

    68     FS="\\"

    66     FS="\\"

    70     ;;

    67     ;;

    71   * )

    68   * )

    72     echo "Unrecognized system!"

    69     echo "Unrecognized system!"

    73     exit 1;

    70     exit 1;

    74     ;;

    71     ;;