From: Ralf Treinen Date: Tue, 19 May 2009 15:28:09 +0000 (+0200) Subject: Patch config.sh for installation X-Git-Tag: archive/raspbian/4.02.3-10+rpi1~2^2^2^2^2~12 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0637649fdd3a78e36b10cca78b2ecd5b6e16a60a;p=ocaml.git Patch config.sh for installation Use for installatation a patched config.sh (created by debian/rules). Gbp-Pq: Name 0005-Patch-config.sh-for-installation.patch --- diff --git a/build/install.sh b/build/install.sh index d092d664..d80a158b 100755 --- a/build/install.sh +++ b/build/install.sh @@ -16,7 +16,7 @@ set -e cd `dirname $0`/.. -. config/config.sh +. config/config.debian.install.sh not_installed=$PWD/_build/not_installed diff --git a/build/partial-install.sh b/build/partial-install.sh index c06154a8..42c3558b 100755 --- a/build/partial-install.sh +++ b/build/partial-install.sh @@ -20,7 +20,7 @@ set -e cd `dirname $0`/.. -. config/config.sh +. config/config.debian.install.sh not_installed=$PWD/_build/not_installed