diff options
author | Alexey Neyman <stilor@att.net> | 2017-06-29 05:19:33 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2017-07-08 17:57:56 (GMT) |
commit | c7a924a0732bd2aefe9af1411da629ccc3f34811 (patch) | |
tree | d65e21574b33c2f51f4b446651d721aa0e0894ba /packages/libtool | |
parent | f672e3df8973d87b5542ee3f30d1b9ceacab6dca (diff) |
Fix printing the branch used in Git
... and prefer exact specified name, if it exists.
More bootstrap script specifications for packages.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'packages/libtool')
-rw-r--r-- | packages/libtool/package.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages/libtool/package.desc b/packages/libtool/package.desc index 2568f09..7338f84 100644 --- a/packages/libtool/package.desc +++ b/packages/libtool/package.desc @@ -1,2 +1,3 @@ repository='git git://git.savannah.gnu.org/libtool.git' +bootstrap='./bootstrap' mirrors='$(CT_Mirrors GNU libtool)' |