Commit eddfbed43ef2a83fa1d27bc1e990c6b145492d9d

Bruno Haible 2007-01-14T20:45:45

Don't unnecessarily run configure and make.