mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-20 11:39:14 +00:00
15 lines
453 B
Plaintext
15 lines
453 B
Plaintext
LICENSE := GPLv3
|
|
VERSION := 4.4.18
|
|
DOWNLOADS := bash.archive
|
|
|
|
URL(bash) := http://ftp.gnu.org/gnu/bash/bash-$(VERSION).tar.gz
|
|
SHA(bash) := 6cf9b3c23930ba8a721fee177d1558e5b7cb6104
|
|
SIG(bash) := ${URL(bash)}.sig
|
|
KEY(bash) := GNU
|
|
DIR(bash) := src/noux-pkg/bash
|
|
|
|
PATCHES := src/noux-pkg/bash/build.patch \
|
|
src/noux-pkg/bash/check_dev_tty.patch \
|
|
src/noux-pkg/bash/disable_man2html.patch
|
|
PATCH_OPT := -p1 -d src/noux-pkg/bash
|