changeset 144:aafad5b5de5f

bugfix: support the .tgz archive extension in addition to .tar.gz
author Volker Grabsch <vog@notjusthosting.com>
date Sat, 08 Nov 2008 20:28:59 +0100
parents 95c26d2b78d4
children 53f68558e406
files Makefile
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Sat Nov 08 20:20:34 2008 +0100
+++ b/Makefile	Sat Nov 08 20:28:59 2008 +0100
@@ -16,16 +16,18 @@
 include src/*.mk
 
 CHECK_ARCHIVE = \
+    $(if $(filter %.tgz,    $(1)),tar tfz '$(1)' >/dev/null 2>&1, \
     $(if $(filter %.tar.gz, $(1)),tar tfz '$(1)' >/dev/null 2>&1, \
     $(if $(filter %.tar.bz2,$(1)),tar tfj '$(1)' >/dev/null 2>&1, \
     $(if $(filter %.zip,    $(1)),unzip -t '$(1)' >/dev/null 2>&1, \
-    $(error Unknown archive format: $(1)))))
+    $(error Unknown archive format: $(1))))))
 
 UNPACK_ARCHIVE = \
+    $(if $(filter %.tgz,    $(1)),tar xvzf '$(1)', \
     $(if $(filter %.tar.gz, $(1)),tar xvzf '$(1)', \
     $(if $(filter %.tar.bz2,$(1)),tar xvjf '$(1)', \
     $(if $(filter %.zip,    $(1)),unzip '$(1)', \
-    $(error Unknown archive format: $(1)))))
+    $(error Unknown archive format: $(1))))))
 
 DOWNLOAD = \
     $(if $(2),wget -t 3 -c '$(1)' || wget -c '$(2)',wget -c '$(1)')