From c30d266074490b22cadeb385612ecb35f43f04cb Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 3 Apr 2013 12:26:14 +0200 Subject: [PATCH] fix patch --- debian/patches/0001-set-DESTDIR-to-debian-tmp.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/patches/0001-set-DESTDIR-to-debian-tmp.patch b/debian/patches/0001-set-DESTDIR-to-debian-tmp.patch index a812e6c..b044f1c 100644 --- a/debian/patches/0001-set-DESTDIR-to-debian-tmp.patch +++ b/debian/patches/0001-set-DESTDIR-to-debian-tmp.patch @@ -7,7 +7,7 @@ Subject: set DESTDIR to debian/tmp 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugin/Makefile b/plugin/Makefile -index 5bf2892..1800191 100644 +index 5bf2892..534aea4 100644 --- a/plugin/Makefile +++ b/plugin/Makefile @@ -31,10 +31,10 @@ PLUGIN_CMO = eset emap completeMap multiset misc arithSig arith \ @@ -15,7 +15,7 @@ index 5bf2892..1800191 100644 # PLUGIN_HAS_MLI := yes - -+DESTDIR=debian/tmp/ ++DESTDIR=../debian/tmp/ # include Makefile.plugin include $(FRAMAC_SHARE)/Makefile.dynamic -- 2.39.2