diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:25:29 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:25:29 +0100 |
commit | 71daf1fb0e5a9aeda4bcb2aca8b4e2c8ebc11775 (patch) | |
tree | 53011d8afc725f3e57af8c7b71fa56e2bcdc24b5 | |
parent | ad164841a651ccd24f1c5b9b37a72a7f8068e42f (diff) |
Backup file ending with ~ is also deleted in configure
Some editors put a copy of their input file into another file ending with
`~' (for backup). So now, the `./configure' script also cleans this file
along with the temporary file.
-rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -142,10 +142,11 @@ echo "minmapsize $mm" >> $gconf -# Make the final file that will be used. +# Make the final file that will be used and delete the temporary file along +# with a possible file ending with `~' that is put there by some editors. add_top_notice $pconf cat $ptconf >> $pconf -rm $ptconf +rm -f $ptconf $ptconf"~" |