gnatdist_config/GNUmakefile.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Author : Xavier Grave <xavier.grave@ipno.in2p3.fr>
This patch remove the use of quilt in the upstream version to avoid conflicts between debian/patches
and patches directory
--- a/gnatdist_config/GNUmakefile.in
+++ b/gnatdist_config/GNUmakefile.in
@@ -118,6 +118,6 @@
cp /usr/share/ada/adainclude/$@ .
patched_gpr:aws.gpr xmlada.gpr templates_parser.gpr
- quilt --quiltrc patches/quiltrc push -a
+ patch -p2 < ../patches/debian_support.patch
touch $@
endif