aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:25:29 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:25:29 +0100
commit71daf1fb0e5a9aeda4bcb2aca8b4e2c8ebc11775 (patch)
tree53011d8afc725f3e57af8c7b71fa56e2bcdc24b5 /configure
parentad164841a651ccd24f1c5b9b37a72a7f8068e42f (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.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure
index e1baae0..4f13523 100755
--- a/configure
+++ b/configure
@@ -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"~"