-
Alexandre Duret-Lutz authored
* src/kripketest/Makefile.am (LDADD): Remove a broken dependency. Reported by Yann Thierry-Mieg. * src/sanity/style.test: Make sure it does not appear again.
1e7cda5e
* src/kripketest/Makefile.am (LDADD): Remove a broken dependency. Reported by Yann Thierry-Mieg. * src/sanity/style.test: Make sure it does not appear again.