From 421f13b8f6adb902ccc0fd1012daf55d8eb6a0c5 Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Wed, 18 Nov 2020 16:15:59 +0100 Subject: [PATCH] coccinelle: disabling safe-string is not needed. --- srcpkgs/coccinelle/template | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template index 85939a89d5c..310f9d43261 100644 --- a/srcpkgs/coccinelle/template +++ b/srcpkgs/coccinelle/template @@ -1,7 +1,7 @@ # Template file for 'coccinelle' pkgname=coccinelle version=1.0.8 -revision=4 +revision=5 build_style=gnu-configure configure_args="--without-pdflatex --enable-release --with-python=/usr/bin/python3" @@ -13,8 +13,6 @@ license="GPL-2.0-only" homepage="http://coccinelle.lip6.fr/" distfiles="https://github.com/coccinelle/coccinelle/archive/${version}.tar.gz" checksum=9f994bf98bc88c333ac7a54a03d4fa1826122eec7016a1f22c6b2ef2a6a4347f - -export OCAMLPARAM="safe-string=0,_" disable_parallel_build=yes nocross=yes