blob: 92f5de2c6816457f655a0e75545bf240edf73138 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- a/Makefile 2022-12-19 22:20:07.216304664 +0100
+++ b/Makefile 2022-12-19 22:20:54.876555007 +0100
@@ -185,7 +185,7 @@
$(GPRBUILD) -p $(GPROPTS) $(GPR_STATIC) tools/tools.gpr
build-lib-native:
- $(GPRBUILD) -p $(GPROPTS) aws.gpr
+ $(GPRBUILD) -p $(GPROPTS) $(GPR_STATIC) aws.gpr
ifeq (${ENABLE_SHARED}, true)
$(GPRBUILD) -p $(GPROPTS) $(GPR_SHARED) aws.gpr
endif
|
