diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-05-19 14:50:45 +0200 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-05-29 10:31:59 +0200 |
| commit | 6595aae23ef29e8974c38f0d2ad97a2803eee3ae (patch) | |
| tree | a52654ae2b55a345376d9ec89d8b1eac0d23ad6f /src | |
| parent | d9ea62666b2671bc1ee4ef2dd7debd6fe8965dcf (diff) | |
make clean: also clean up generated version files
We also discussed using "git clean -dXf" but that could remove files
that were not generated by make.
Closes #4619
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 63bf1833..801a2e24 100644 --- a/src/Makefile +++ b/src/Makefile @@ -128,7 +128,7 @@ tags: ctags -R clean: - rm -f $(objects) $(deps) + rm -f $(objects) $(deps) .version.cc .version.o dist: @if ! [ -d ../.git ]; then echo "make dist can only run from a git repo"; false; fi |