From f63be3bda31acdc2a88e1cd64770966e73ca0b5d Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Thu, 11 Jan 2001 22:25:19 +0000 Subject: 2001-01-09 Marcus Brinkmann * changelog: Update to reflect Debian upgrade. * rules: Use --disable-profile wih configure instead no_prof=t with make. --- debian/rules | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'debian/rules') diff --git a/debian/rules b/debian/rules index 53af91a9..a1efd14e 100755 --- a/debian/rules +++ b/debian/rules @@ -62,14 +62,15 @@ config: stamp-config stamp-config: configure $(checkdir) -mkdir build - cd build && ../configure --build=$(DEB_BUILD_GNU_TYPE) \ + cd build && ../configure --disable-profile \ + --build=$(DEB_BUILD_GNU_TYPE) \ --host=$(DEB_HOST_GNU_TYPE) --prefix= touch stamp-config all build: config stamp-build stamp-build: $(checkdir) - cd build && $(MAKE) no_prof=t + cd build && $(MAKE) # XXX-doc cd build && $(MAKE) -C doc hurd.info cd build && $(MAKE) -C doc hurd.ps -- cgit v1.2.3