diff options
Diffstat (limited to 'devel/check/BUILD')
| -rwxr-xr-x | devel/check/BUILD | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/devel/check/BUILD b/devel/check/BUILD deleted file mode 100755 index 4ee8541c62..0000000000 --- a/devel/check/BUILD +++ /dev/null @@ -1,4 +0,0 @@ -# make it not append version info to its doc dir so we end up with only one -# check dir in /usr/share/doc -OPTS="--enable-plain-docdir $OPTS" && -default_build |