diff options
| -rw-r--r-- | src/pl/plpython/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pl/plpython/Makefile b/src/pl/plpython/Makefile index df07fc2ced0..1b1259feefb 100644 --- a/src/pl/plpython/Makefile +++ b/src/pl/plpython/Makefile @@ -131,7 +131,7 @@ prep3: -e "s/LANGUAGE plpython2u/LANGUAGE plpython3u/g" \ -e "s/EXTENSION plpythonu/EXTENSION plpython3u/g" \ -e "s/EXTENSION plpython2u/EXTENSION plpython3u/g" \ - $$file >`echo $$file | sed 's,$(srcdir),python3,'` || exit; \ + $$file >`echo $$file | sed 's,^.*\(/[^/][^/]*/[^/][^/]*\)$$,python3\1,'` || exit; \ done clean3: |