diff --git a/srcpkgs/eigen2/update b/srcpkgs/eigen2/update new file mode 100644 index 00000000000..5ba792f0a34 --- /dev/null +++ b/srcpkgs/eigen2/update @@ -0,0 +1 @@ +ignore="[!2]*"