diff options
| author | Peter Eisentraut | 2020-10-14 06:24:54 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2020-10-14 06:24:54 +0000 |
| commit | 39b4a951003a6545268e141272e123929d0d710f (patch) | |
| tree | a1391d596783629a78a1c598179f0a3db4b94a0f /src/interfaces | |
| parent | 4e118fc33e3ca5244c11a81a71bd25cf9ed3d484 (diff) | |
Use https for gnu.org links
Mostly already done, but there were some stragglers.
Diffstat (limited to 'src/interfaces')
| -rw-r--r-- | src/interfaces/ecpg/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interfaces/ecpg/Makefile b/src/interfaces/ecpg/Makefile index 41460a17c96..a8f91e3dc2b 100644 --- a/src/interfaces/ecpg/Makefile +++ b/src/interfaces/ecpg/Makefile @@ -5,7 +5,7 @@ include $(top_builddir)/src/Makefile.global SUBDIRS = include pgtypeslib ecpglib compatlib preproc # Suppress parallel build of subdirectories to avoid a bug in GNU make 3.82, cf -# http://savannah.gnu.org/bugs/?30653 +# https://savannah.gnu.org/bugs/?30653 # https://bugzilla.redhat.com/show_bug.cgi?id=835424 # (There are some other parallelism bugs in the subdirectory makefiles # themselves, but there's little point in fixing them as long as we have |