Mercurial > hg > monetdb-perl

annotate build.sh @ 29:a8bdee6b0128

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add two shell scripts for use in GitHub workflow
author Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
date Thu, 17 Dec 2020 11:26:56 +0100 (2020-12-17)
parents
children d76d0651512f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
29
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
1 #!/bin/bash
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
2
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
3 set -e -x
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
4
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
5 for i in DBD MonetDB-CLI/MonetDB MonetDB-CLI-MapiPP/MonetDB/CLI
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
6 do
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
7 (
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
8 cd $i
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
9 perl Makefile.PL
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
10 make
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
11 )
a8bdee6b0128 Add two shell scripts for use in GitHub workflow
Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
parents:
diff changeset
12 done