diff options
| author | Peter Eisentraut | 2011-05-01 21:47:09 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2011-05-01 22:03:38 +0000 |
| commit | c8c93c6e73b98fc8e0e371a8391d4824732437f2 (patch) | |
| tree | afbf1b96a635087542e9872eba9f554496c9c5a0 /doc/src | |
| parent | fb69fd176aaa8eab0315c4f891297c03c0b5d825 (diff) | |
Catch errors in for loop in makefile
Add "|| exit" so that the rule aborts when a command fails.
This is the minimal backpatch version. The fix in head is more
elaborate.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions