diff options
| author | Peter Eisentraut | 2011-05-01 21:43:06 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2011-05-01 22:05:08 +0000 |
| commit | 5c436a79e0f4e11f80c5878a0309ce60f79e17b1 (patch) | |
| tree | 52dcbc6d4c055b579c41f6c25f6c4062386259a8 | |
| parent | b106195b1731ce5d68e8bb5c421f09a4aae9e96a (diff) | |
Catch errors in for loop in makefile
Add "|| exit" so that the rule aborts when a command fails.
| -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 93425cdb34..2c0575501a 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: |