diff options
| author | joerg@trift2. <> | 2007-04-17 14:41:07 +0200 |
|---|---|---|
| committer | joerg@trift2. <> | 2007-04-17 14:41:07 +0200 |
| commit | e7788a9f1b7ef8007952636ae928a95bc3506b25 (patch) | |
| tree | bb49674018b9a9c49208d4ad0253076270f7f968 /configure.in | |
| parent | 8437fd62b2da4a7aff965a65481e1ef59c70ad36 (diff) | |
| download | mariadb-git-e7788a9f1b7ef8007952636ae928a95bc3506b25.tar.gz | |
Cleanup: The temporary file could be left around if nothing was excluded.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 76352b06d62..0c2d20e3feb 100644 --- a/configure.in +++ b/configure.in @@ -2554,7 +2554,7 @@ then man_dirs="man" man1_files=`echo $man1_files` man8_files=`echo $man8_files` - rm -f $MANLISTFIL + rm -f $MANLISTFIL $TMPLISTFIL else man_dirs="" man1_files="" |