diff options
| author | Stéphane Glondu <steph@glondu.net> | 2023-02-01 09:24:17 +0100 |
|---|---|---|
| committer | Stéphane Glondu <steph@glondu.net> | 2023-02-01 09:29:01 +0100 |
| commit | 2c38dbccc83ef743b71dd91a34f50d86a68117d7 (patch) | |
| tree | 3b3d9a5dd3496e1b1c1bf5702fdb5df7db159d83 | |
| parent | b311a9e7e688162a734f002d8e2c4e0f313ffbbe (diff) | |
Remove obsolete patch
| -rw-r--r-- | debian/patches/0001-Add-BUILD_DATE-variable-to-Makefile-for-reproducible.patch | 30 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 31 deletions
diff --git a/debian/patches/0001-Add-BUILD_DATE-variable-to-Makefile-for-reproducible.patch b/debian/patches/0001-Add-BUILD_DATE-variable-to-Makefile-for-reproducible.patch deleted file mode 100644 index 7279e26..0000000 --- a/debian/patches/0001-Add-BUILD_DATE-variable-to-Makefile-for-reproducible.patch +++ /dev/null @@ -1,30 +0,0 @@ -From: Stephane Glondu <steph@glondu.net> -Date: Tue, 19 May 2015 10:56:26 +0200 -Subject: Add BUILD_DATE variable to Makefile (for reproducible builds) - ---- - Makefile.in | 3 ++- - 1 file changed, 2 insertions(+), 1 deletion(-) - -diff --git a/Makefile.in b/Makefile.in -index 9eb3026..cc86483 100644 ---- a/Makefile.in -+++ b/Makefile.in -@@ -46,6 +46,7 @@ HAS_NATDYNLINK=@HAS_NATDYNLINK@ - NAME = calendar - NAMELIB = calendarLib - VERSION = 2.04 -+BUILD_DATE = `date` - - LIBDIR = target - -@@ -117,7 +118,7 @@ $(LIBDIR)/$(NAMELIB).cmxs: $(LIBDIR)/$(NAMELIB).cmxa - - src/version.ml: Makefile - echo "let version = \"$(VERSION)\"" > $@ -- echo "let date = \"`date`\"" >> $@ -+ echo "let date = \"$(BUILD_DATE)\"" >> $@ - - META: Makefile - echo "name = \"$(NAME)\"" > $@ --- diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 6a9870a..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Add-BUILD_DATE-variable-to-Makefile-for-reproducible.patch |