diff options
| author | David Bremner <david@tethera.net> | 2015-12-13 08:39:11 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-12-13 08:39:11 -0400 |
| commit | e3cd357fdddd2d8d29e8eea0b40a1043c46f1791 (patch) | |
| tree | b0e4f0549fc1216439e4593b73206c7923995ad4 /lib/gen-version-script.sh | |
| parent | ad5b7434978ed98b1eb832b77684869f5d02594a (diff) | |
| parent | 1432a4f946e0f236179b53ac71d03764da725f33 (diff) | |
Merge tag 'debian/0.21-3' into jessie-backports
uploaded to unstable
Diffstat (limited to 'lib/gen-version-script.sh')
| -rw-r--r-- | lib/gen-version-script.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/gen-version-script.sh b/lib/gen-version-script.sh index 64a73749..84770011 100644 --- a/lib/gen-version-script.sh +++ b/lib/gen-version-script.sh @@ -1,3 +1,4 @@ +set -eu # we go through a bit of work to get the unmangled names of the # typeinfo symbols because of |