diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 2 |
2 files changed, 2 insertions, 1 deletions
| @@ -1,2 +1,3 @@ | |||
| 1 | *.pt | ||
| 1 | /.have_submodules | 2 | /.have_submodules |
| 2 | /build | 3 | /build |
| @@ -27,7 +27,7 @@ default: $(BUILD)/minigolf | |||
| 27 | .PHONY: default | 27 | .PHONY: default |
| 28 | 28 | ||
| 29 | clean: | 29 | clean: |
| 30 | rm -rf $(BUILD) | 30 | rm -rf $(BUILD) *.pt |
| 31 | .PHONY: clean | 31 | .PHONY: clean |
| 32 | 32 | ||
| 33 | .SECONDARY: | 33 | .SECONDARY: |
