diff options
| author | unknown <joerg@trift2.> | 2007-04-17 14:41:07 +0200 |
|---|---|---|
| committer | unknown <joerg@trift2.> | 2007-04-17 14:41:07 +0200 |
| commit | e4fe1f9f152d9d29c7cfaf913bf3d5c4b9059c43 (patch) | |
| tree | bb49674018b9a9c49208d4ad0253076270f7f968 /configure.in | |
| parent | 5c9123b5fc78716ac9bac51ce93fb5f84da88e42 (diff) | |
| download | mariadb-git-e4fe1f9f152d9d29c7cfaf913bf3d5c4b9059c43.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="" |