37
37
CONFIGURE_ARGS = --host=${DEB_HOST_GNU_TYPE} --build=${DEB_BUILD_GNU_TYPE} --prefix=/usr --mandir=/usr/share/man --disable-dependency-tracking --enable-ipv6 --enable-manual
60
41
#configure-stamp: DH_OPTIONS=
72
45
cd debian/build && ../../configure ${CONFIGURE_ARGS}