Commit 5a0aa113 authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

Refresh patches.

parent 72fe55c1
--- a/bin/dune-autogen
+++ b/bin/dune-autogen
@@ -27,7 +27,7 @@
@@ -26,7 +26,7 @@
rm -f $name.m4
# add current dir to PATH
......
......@@ -6,7 +6,7 @@ tool.
--- a/bin/dunecontrol
+++ b/bin/dunecontrol
@@ -471,17 +471,28 @@
@@ -498,17 +498,28 @@
fi
else
# standard handling of Git whitespace hook
......
......@@ -2,7 +2,7 @@ From: Ansgar Burchardt <ansgar@debian.org>
Subject: skip directories starting with a dot when looking for dune.module
--- a/lib/dunemodules.lib
+++ b/lib/dunemodules.lib
@@ -241,7 +241,7 @@
@@ -250,7 +250,7 @@
while read m; do
test -n "$m" && parse_control "$m"
done <<EOFM
......
--- dune-common.orig/lib/Makefile.am
+++ dune-common/lib/Makefile.am
@@ -14,5 +14,6 @@
--- a/lib/Makefile.am
+++ b/lib/Makefile.am
@@ -13,5 +13,6 @@
nodist_EXTRA_libdunecommon_la_SOURCES = dummy.cc
sourcescheck_DUMMY = dummy.cc
libdunecommon_la_LIBADD = ../dune/common/libcommon.la
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment