diff options
Diffstat (limited to 'tools/Makefile.am')
| -rw-r--r-- | tools/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am index decfc97d30..3b2291a5b9 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -84,7 +84,6 @@ EXTRA_DIST = \ rdps.py \ rpm_setup.sh \ runa2x.sh \ - runlex.sh \ setuid-root.pl.in \ test-common.sh \ test-captures.sh \ |