projects / ocaml.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2e721c9)
Patch config.sh for installation
authorRalf Treinen <treinen@debian.org>
Tue, 19 May 2009 15:28:09 +0000 (17:28 +0200)
committerStéphane Glondu <glondu@debian.org>
Thu, 30 Oct 2014 08:28:06 +0000 (08:28 +0000)
Use for installatation a patched config.sh (created by debian/rules).

Gbp-Pq: Name 0005-Patch-config.sh-for-installation.patch

build/install.sh patch | blob | history
build/partial-install.sh patch | blob | history

diff --git a/build/install.sh b/build/install.sh
index d092d664a96dc702bb433b417d91a2fe8fd2dead..d80a158b2dcbfb4d5420970273c6905db903e600 100755 (executable)
--- 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 c06154a8bd60b8e6b9e434611e033ea2e78e652a..42c3558b35ad8790d4da76ef0a206af2acf991a2 100755 (executable)
--- 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
 
Unnamed repository; edit this file 'description' to name the repository.