projects / mes.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bed314) | patch
build: Use mesar instead of ar.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 21 Jul 2019 14:44:54 +0000 (16:44 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 9 Sep 2019 14:04:16 +0000 (16:04 +0200)
commit2cc6d5a0126630ade1747f7c3cee117f832badc5
tree5deaaa1bdd32a09521f3815464905312a3491b3btree | snapshot (zip tar.gz)
parent3bed314d94e9cd3025ca1b969a67b949b771740ccommit | diff
build: Use mesar instead of ar.

* scripts/mesar.in: Rename from ar.in.  Update users.
* build-aux/build.sh.in (LIBS): Update.
* build-aux/check.sh.in (recheck): Likwise.
* build-aux/install.sh.in (DESTDIR): Likwise.
* configure (main): Likwise.
* configure.sh (mes_system): Likwise.
* .gitignore: Update.
.gitignore diff | blob | history
build-aux/build.sh.in diff | blob | history
build-aux/check.sh.in diff | blob | history
build-aux/install.sh.in diff | blob | history
configure diff | blob | history
configure.sh diff | blob | history
scripts/ar.in [deleted file] blob | history
scripts/mesar.in [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.