diff gnu/time/time.sh @ 1220:4ccc42bf0284

misc: split .sh with .info
author David Demelier <markand@malikania.fr>
date Thu, 30 Sep 2021 09:26:38 +0200
parents 57dc83a39b13
children a47aaf9743a0
line wrap: on
line diff
--- a/gnu/time/time.sh	Thu Sep 30 09:05:45 2021 +0200
+++ b/gnu/time/time.sh	Thu Sep 30 09:26:38 2021 +0200
@@ -15,12 +15,7 @@
 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #
 
-PKGNAME=time
-PKGVERSION=1.9
-PKGREVISION=1
-PKGLICENSE="GPLv30"
-PKGSUMMARY="GNU tool to measure time"
-PKGDOWNLOAD="https://ftp.gnu.org/gnu/$PKGNAME/$PKGNAME-$PKGVERSION.tar.gz"
+. ./time.info
 
 : ${CHOST:=$(uname -m)-linux-musl}
 : ${CBUILD:=$(uname -m)-linux-musl}