#fix -Werror=terminate --- /src/soundcard/sound.cxx.orig 2017-06-28 12:58:41.682698479 +0000 +++ /src/soundcard/sound.cxx 2017-06-28 13:02:44.862055549 +0000 @@ -143,7 +143,7 @@ #endif } -SoundBase::~SoundBase() +SoundBase::~SoundBase() throw (SndException) { delete [] wrt_buffer; @@ -1091,7 +1091,7 @@ memset(fbuf, 0, 2 * SND_BUF_LEN * sizeof(*fbuf)); } -SoundPort::~SoundPort() +SoundPort::~SoundPort() throw (SndException) { Close(); --- /src/include/sound.h.orig 2017-06-28 12:59:04.670899172 +0000 +++ /src/include/sound.h 2017-06-28 13:00:41.253335034 +0000 @@ -119,7 +119,7 @@ public: SoundBase(); - virtual ~SoundBase(); + virtual ~SoundBase() throw (SndException); virtual int Open(int mode, int freq = 8000) = 0; virtual void Close(unsigned dir = UINT_MAX) = 0; virtual void Abort(unsigned dir = UINT_MAX) = 0; @@ -213,7 +213,7 @@ public: SoundPort(const char *in_dev, const char *out_dev); - ~SoundPort(); + ~SoundPort() throw (SndException); int Open(int mode, int freq = 8000); void Close(unsigned dir = UINT_MAX); void Abort(unsigned dir = UINT_MAX);