diff options
Diffstat (limited to 'src/backend/utils/misc/Makefile')
| -rw-r--r-- | src/backend/utils/misc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/utils/misc/Makefile b/src/backend/utils/misc/Makefile index 0ca57a1f21..cd9ba5d1cc 100644 --- a/src/backend/utils/misc/Makefile +++ b/src/backend/utils/misc/Makefile @@ -37,5 +37,5 @@ endif # Note: guc-file.c is not deleted by 'make clean', # since we want to ship it in distribution tarballs. -clean: +clean: @rm -f lex.yy.c |