Skip to content

Commit

Permalink
another fix
Browse files Browse the repository at this point in the history
  • Loading branch information
aw-was-here committed Sep 29, 2024
1 parent 23aa814 commit bb7e194
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,8 @@ None
| Option | Notes |
|:---------|:------|
| `--make-cmd=<cmd>` | Executable location |
| `--make-file=<filename>` | Filename to use instead of the default `Makefile` | `--make-use-git-clean` | Instead of `make clean`, use `git clean` to wipe the repository |
| `--make-file=<filename>` | Filename to use instead of the default `Makefile` |
| `--make-use-git-clean` | Instead of `make clean`, use `git clean` to wipe the repository |

# Docker Notes

Expand Down

0 comments on commit bb7e194

Please sign in to comment.