diff options
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/.distfiles | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/.distfiles b/Util/.distfiles index 3cb0b710a..133e1911d 100644 --- a/Util/.distfiles +++ b/Util/.distfiles @@ -1,5 +1,5 @@ DISTFILES_SRC=' .distfiles - difflog.pl helpfiles mkdisttree.sh reporter + check_exports difflog.pl helpfiles mkdisttree.sh reporter preconfig ' |