diff options
Diffstat (limited to 'src/backend/utils/misc/Makefile')
| -rw-r--r-- | src/backend/utils/misc/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/backend/utils/misc/Makefile b/src/backend/utils/misc/Makefile index 08be3bd699d..c7b745e5131 100644 --- a/src/backend/utils/misc/Makefile +++ b/src/backend/utils/misc/Makefile @@ -28,13 +28,6 @@ include $(top_srcdir)/src/backend/common.mk # guc-file is compiled as part of guc guc.o: guc-file.c -guc-file.c: guc-file.l -ifdef FLEX - $(FLEX) $(FLEXFLAGS) -o'$@' $< -else - @$(missing) flex $< $@ -endif - # Note: guc-file.c is not deleted by 'make clean', # since we want to ship it in distribution tarballs. clean: |