diff options
Diffstat (limited to 'src')
| -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 93425cdb345..2c0575501a4 100644 --- a/src/pl/plpython/Makefile +++ b/src/pl/plpython/Makefile @@ -138,7 +138,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,'`; \ + $$file >`echo $$file | sed 's,$(srcdir),python3,'` || exit; \ done clean3: |