Commit d507c27
committed
chore: improve Makefile for minimal POSIX shell compatibility
When the shell used for `sh` is `dash`, which is common on Debian and
its derivatives, the output of the Makefile is incorrect. This patch
resolves the issue by using `bash` as the shell when it's available.
Additionally, I refactored the `push` target to reuse the code that
executes the push command for a specific directory.
Lastly, the default action when you run `make` without any arguments
is now to build all the extensions.
Signed-off-by: Marco Nenciarini <marco.nenciarini@enterprisedb.com>1 parent 2a798f7 commit d507c27
1 file changed
+7
-9
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
3 | 6 | | |
4 | 7 | | |
5 | 8 | | |
6 | 9 | | |
7 | | - | |
| 10 | + | |
8 | 11 | | |
9 | 12 | | |
10 | 13 | | |
| |||
15 | 18 | | |
16 | 19 | | |
17 | 20 | | |
| 21 | + | |
| 22 | + | |
18 | 23 | | |
19 | 24 | | |
20 | 25 | | |
| |||
41 | 46 | | |
42 | 47 | | |
43 | 48 | | |
44 | | - | |
45 | | - | |
46 | | - | |
47 | | - | |
48 | | - | |
49 | | - | |
50 | | - | |
51 | | - | |
| 49 | + | |
52 | 50 | | |
53 | 51 | | |
54 | 52 | | |
| |||
0 commit comments