diff options
| -rwxr-xr-x | util/crossgcc/buildgcc | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index 3f5f562adc..86e952ca3a 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -219,10 +219,9 @@ download_showing_percentage() { url=$1 printf " ..${red} 0%%" wget --no-check-certificate $url 2>&1 | while read line; do - printf "${red}" echo $line | grep -o "[0-9]\+%" | awk '{printf("\b\b\b\b%4s", $1)}' - printf "${NC}" done + printf "${NC}" } download() { @@ -351,6 +350,12 @@ build() fi } +quit() +{ + printf "${NC}Stop\n" + exit 1 +} + cleanup() { if [ $SAVETEMPS -ne 0 ]; then @@ -673,6 +678,8 @@ print_stable() { esac } +trap quit 1 2 3 15 + # Look if we have getopt. If not, build it. export PATH=$PATH:. getopt - > /dev/null 2>/dev/null || gcc -o getopt getopt.c |