summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2023-09-08 05:52:40 +0200
committerStephane Glondu <steph@glondu.net>2023-09-08 05:52:40 +0200
commitcfa85dad541e5d78a25efab15d3eb7db37073a47 (patch)
tree7205c0bf88646c82ccc7428f059f3f39b76a73ee
parent204b32604f0808d5898c51750444da1fb5a1e204 (diff)
parent9eb51545668688fba41e37e932ac0ce5befe6108 (diff)
Update upstream source from tag 'upstream/0.11+dfsg'
Update to upstream version '0.11+dfsg' with Debian dir fba0b897de6126bd060e597b29a4c01e2a2a7635
-rw-r--r--CHANGES5
-rwxr-xr-xconfigure4
2 files changed, 7 insertions, 2 deletions
diff --git a/CHANGES b/CHANGES
index 080860c..7e598d4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,6 +2,11 @@
not-ocamlfind 0.10
---------------------
+* [30 Aug 2023] swap "bash" to "sh"
+
+not-ocamlfind 0.11
+---------------------
+
* [30 Mar 2023] in "preprocess", ignore "-for-pack", "-linkall" arguments so we can just replace "ocamlc" with "preprocess"
not-ocamlfind 0.08
diff --git a/configure b/configure
index ca940d7..99d1b32 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
(cd local-packages/ocamlfind \
- && ./configure $* )
+ && ./configure "$@" )