diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2023-12-02 02:12:19 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2023-12-02 02:12:19 +0100 |
| commit | dab63c43da3d1d567e61b39e8ff0c8fe894f796d (patch) | |
| tree | 2813e9bc6f064a555a9f607ac9270b50321a7c7e | |
| parent | 4e869b11312c874d3ff6d86aac2bb07fd362aae4 (diff) | |
Don’t run entr interactively
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 93dfa0f..9858d6b 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -50,4 +50,4 @@ serve: darkhttpd out --daemon watch: - git ls-files -o | entr $(MAKE) + git ls-files -o | entr -n $(MAKE) |