diff src/gdb.mk @ 2053:93ed337d4c17

merge
author Volker Grabsch <vog@notjusthosting.com>
date Tue, 15 Nov 2011 16:43:58 +0100
parents 5fc669ab661a 93adcb090294
children 39ea61783eda
line wrap: on
line diff
--- a/src/gdb.mk	Tue Nov 15 16:32:32 2011 +0100
+++ b/src/gdb.mk	Tue Nov 15 16:43:58 2011 +0100
@@ -3,8 +3,8 @@
 
 # gdb
 PKG             := gdb
-$(PKG)_VERSION  := 7.2
-$(PKG)_CHECKSUM := 14daf8ccf1307f148f80c8db17f8e43f545c2691
+$(PKG)_VERSION  := 7.3.1
+$(PKG)_CHECKSUM := e57f2c7f93536ef54fab728eb733bf2c36550718
 $(PKG)_SUBDIR   := gdb-$($(PKG)_VERSION)
 $(PKG)_FILE     := gdb-$($(PKG)_VERSION)a.tar.bz2
 $(PKG)_WEBSITE  := http://www.gnu.org/software/gdb/
@@ -15,6 +15,8 @@
 define $(PKG)_UPDATE
     wget -q -O- 'http://ftp.gnu.org/gnu/gdb/?C=M;O=D' | \
     $(SED) -n 's,.*<a href="gdb-\([0-9][^"]*\)\.tar.*,\1,p' | \
+    grep -v '^7\.3a' | \
+    sort -r | \
     head -1
 endef
 
@@ -25,5 +27,5 @@
         --prefix='$(PREFIX)/$(TARGET)' \
         CONFIG_SHELL=$(SHELL)
     $(MAKE) -C '$(1)' -j '$(JOBS)'
-    $(MAKE) -C '$(1)/gdb' -j 1 install
+    $(MAKE) -C '$(1)' -j 1 install
 endef