diff options
| author | heavydemon21 <nielsstunnebrink1@gmail.com> | 2024-12-22 13:48:46 +0100 |
|---|---|---|
| committer | heavydemon21 <nielsstunnebrink1@gmail.com> | 2024-12-22 13:48:46 +0100 |
| commit | 6a7e06f875d789af0e8f9b5ce0ad24b9eaa96d25 (patch) | |
| tree | 07397ab46e2518fde4140777e2e181cde8ad938e /game/makefile | |
| parent | 296c80edd6727d6808ed0c98c001a8b456f1c037 (diff) | |
| parent | 61148c757a1f742ff09e40e5347e74e638c7371c (diff) | |
Merge branch 'master' into niels/UI
Diffstat (limited to 'game/makefile')
| -rw-r--r-- | game/makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/game/makefile b/game/makefile new file mode 100644 index 0000000..3fedf7f --- /dev/null +++ b/game/makefile @@ -0,0 +1,5 @@ +.PHONY: FORCE + +format: FORCE + $(MAKE) -C .. $@ + |