diff options
| author | ThomasintAnker <thomasintanker1@gmail.com> | 2024-06-18 16:23:51 +0200 |
|---|---|---|
| committer | ThomasintAnker <thomasintanker1@gmail.com> | 2024-06-18 16:23:51 +0200 |
| commit | a55d0bed6240c54f6173b1e38e80212c02c302de (patch) | |
| tree | 07c15eebc8cd84e1071a3f72d3c74475017372f3 /client/makefile | |
| parent | b45b5d04daa29fcdd456233a931dcbb5b287769f (diff) | |
| parent | 245fde65808ce902064ab438296f04f691d007e7 (diff) | |
Merge branch 'master' into wip/handover
Diffstat (limited to 'client/makefile')
| -rw-r--r-- | client/makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/client/makefile b/client/makefile index 8352615..5cbf045 100644 --- a/client/makefile +++ b/client/makefile @@ -1,2 +1,4 @@ +TARGET = $(BUILD_DIR)/pbc + include ../lazy.mk |