dune-autogen
authorDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
committerAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
Gbp-Pq: Name dune-autogen.patch

bin/dune-autogen

index c9f0bdbf90298f8fc5bebc6413d5b96d859cc5fd..4173202428dcd75d5173c6cc6edaf4b52dcf5a0c 100755 (executable)
@@ -27,7 +27,7 @@ rm -f dune-all.m4
 rm -f $name.m4
 
 # add current dir to PATH
-PATH=`dirname "$0"`:$PATH
+#PATH=`dirname "$0"`:$PATH
 
 # guess libtool prefix
 if test -n "$LIBTOOLIZE"; then