mirror of https://gitee.com/Nocallback/dejagnu.git
Browse Source
when running make check. From Gilles Espinasse. * configure.ac: If DEJAGNU is unset, set it to /dev/null. * Makefile.am: Export DEJAGNU. * configure: Likewise. * Makefile.in: Regenerate.dejagnu-1.5.2
5 changed files with 23 additions and 0 deletions
Loading…
Reference in new issue