grim/guifications2

f9f891610b5b
Parents 88dbf30a5100
Children 5646b85f1e1c
added a cleanup function to remove autogen-?????? on SIGINT
  • +8 -0
    autogen.sh
  • --- a/autogen.sh Tue Oct 27 01:13:14 2009 -0500
    +++ b/autogen.sh Tue Oct 27 01:14:28 2009 -0500
    @@ -92,9 +92,17 @@
    fi
    }
    +cleanup () {
    + rm -f autogen-??????
    + echo
    + exit 2
    +}
    +
    ###############################################################################
    # We really start here, yes, very sneaky!
    ###############################################################################
    +trap cleanup 2
    +
    FIGLET=`which figlet`
    if [ x"${FIGLET}" != x"" ] ; then
    ${FIGLET} -f small ${PACKAGE}