diff options
author | Diego Elio Pettenò <flameeyes@flameeyes.eu> | 2012-05-12 09:46:18 -0700 |
---|---|---|
committer | Diego Elio Pettenò <flameeyes@flameeyes.eu> | 2012-05-12 09:46:18 -0700 |
commit | 834ac216cd4681fca649222048940868f3b81204 (patch) | |
tree | 91d089fcf65fc2a70bf545e95490e83f4b819458 | |
parent | Add a copy of the GPL-2 text. (diff) | |
download | hwids-834ac216cd4681fca649222048940868f3b81204.tar.gz hwids-834ac216cd4681fca649222048940868f3b81204.tar.bz2 hwids-834ac216cd4681fca649222048940868f3b81204.zip |
Replace the two scripts with a single Makefile.
-rw-r--r-- | Makefile | 15 | ||||
-rwxr-xr-x | dist.sh | 7 | ||||
-rwxr-xr-x | fetch.sh | 4 |
3 files changed, 15 insertions, 11 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..a27933b --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +# can be replaced with `wget -q -O -` if you want +HTTPCAT = curl + +fetch: + $(HTTPCAT) http://pci-ids.ucw.cz/v2.2/pci.ids.bz2 | bzcat > pci.ids + $(HTTPCAT) http://www.linux-usb.org/usb.ids.bz2 | bzcat > usb.ids + +PV ?= $(shell date +%Y%m%d) +P = hwids-$(PV) + +dist: $(P).tar.xz + +$(P).tar.xz: + git tag $(P) + git archive --prefix=$(P)/ $(P) | xz -9e > $(P).tar.xz diff --git a/dist.sh b/dist.sh deleted file mode 100755 index c39289b..0000000 --- a/dist.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -PV=${1:-$(date +%Y%m%d)} -P=hwids-${PV} - -git tag ${P} -git archive --prefix=${P}/ ${P} | xz -9e > ${P}.tar.xz diff --git a/fetch.sh b/fetch.sh deleted file mode 100755 index 6846191..0000000 --- a/fetch.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh - -curl http://pci-ids.ucw.cz/v2.2/pci.ids.bz2 | bzcat > pci.ids -curl http://www.linux-usb.org/usb.ids.bz2 | bzcat > usb.ids |