From: Julien Cristau <julien.cristau@ens-lyon.org>
Date: Thu, 30 Mar 2006 18:57:15 +0000 (+0000)
Subject: Make sure abi-sed is done before patch
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~654^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=2e97c21462d1a87da9ebbc7fabadac6a46b6d182;p=ocaml.git

Make sure abi-sed is done before patch
---

diff --git a/debian/rules b/debian/rules
index 343c9b32..9d7767c6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -82,6 +82,7 @@ config-stamp: configure abi-sed
 	touch config-stamp
 
 
+patch: abi-sed
 # Architecture
 build: build-arch build-indep