diff options
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 8075e719..e50ad147 100755 --- a/debian/rules +++ b/debian/rules @@ -21,7 +21,7 @@ CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \ --with-doc no configure: configure-stamp -configure-stamp: +configure-stamp: patch-stamp dh_testdir # git doesn't handle empty directories, so we create them here -mkdir bin @@ -34,7 +34,7 @@ configure-stamp: touch configure-stamp build: build-stamp -build-stamp: patch-stamp configure-stamp +build-stamp: configure-stamp dh_testdir if grep -q BEST=opt config/Makefile; \ then \ |