diff options
| -rw-r--r-- | bash/build | 7 | ||||
| -rw-r--r-- | bash/checksums | 1 | ||||
| -rw-r--r-- | bash/sources | 1 | ||||
| -rw-r--r-- | bash/version | 1 |
4 files changed, 10 insertions, 0 deletions
diff --git a/bash/build b/bash/build new file mode 100644 index 0000000..261e1f9 --- /dev/null +++ b/bash/build @@ -0,0 +1,7 @@ +#!/bin/sh -e + +./configure \ + --prefix=/usr + +make +make DESTDIR=$1 install diff --git a/bash/checksums b/bash/checksums new file mode 100644 index 0000000..627b0f3 --- /dev/null +++ b/bash/checksums @@ -0,0 +1 @@ +4281bb43497f3905a308430a8d6a30a5 bash-5.2.15.tar.gz diff --git a/bash/sources b/bash/sources new file mode 100644 index 0000000..0172742 --- /dev/null +++ b/bash/sources @@ -0,0 +1 @@ +https://ftp.gnu.org/gnu/bash/bash-5.2.15.tar.gz $ diff --git a/bash/version b/bash/version new file mode 100644 index 0000000..433f09d --- /dev/null +++ b/bash/version @@ -0,0 +1 @@ +5.2.15 |