diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-09-05 21:11:30 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-09-05 21:11:30 (EDT) |
| commit | 180dd2a785f8d0481de3e6de738af3c65579c393 (patch) | |
| tree | b3cc08d3cb1d16d57ca835a7023c2929d572dffc /build | |
| parent | 649eeabb99e0f37a35afb339bdec4079a7970618 (diff) | |
Build full and reduced packages
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -7,6 +7,9 @@ build: @: install: - install -D -o 0 -g 0 -m 0644 src/pci.ids \ - pciids.data/usr/share/misc/pci.ids - gzip -9 pciids.data/usr/share/misc/pci.ids + install -d -o 0 -g 0 -m 0755 pciids-full.data/usr/share/misc/ + install -d -o 0 -g 0 -m 0755 pciids-reduced.data/usr/share/misc/ + sed '/^#/d; /^[ \t]*$$/d;' src/pci.ids | gzip -9cn \ + >pciids-full.data/usr/share/misc/pci.ids.gz + sed '/^#/d; /^[ \t]*$$/d; /^\t\t/d;' src/pci.ids | gzip -9cn \ + >pciids-reduced.data/usr/share/misc/pci.ids.gz |