diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-12-20 15:36:22 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-12-20 15:36:22 +0200 |
commit | 9c964ec8a4fe23fef993a1cf7f4563d0c32b68bd (patch) | |
tree | f286675403a3805cb12f2db61ba5efad9e359d9e /build-aux | |
parent | fa0d6d088a1fe22b178ef2565351f15622a1d6d2 (diff) | |
download | grecs-9c964ec8a4fe23fef993a1cf7f4563d0c32b68bd.tar.gz grecs-9c964ec8a4fe23fef993a1cf7f4563d0c32b68bd.tar.bz2 |
Fix yyrename
* build-aux/yyrename: Remove temporary file.
Diffstat (limited to 'build-aux')
-rwxr-xr-x | build-aux/yyrename | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-aux/yyrename b/build-aux/yyrename index 6ad3b5a..cebb0db 100755 --- a/build-aux/yyrename +++ b/build-aux/yyrename @@ -94,4 +94,5 @@ for file in $files do mv $file ${file}.tmp sed -e '/^#line/b' -e '/^# *[0-9]/b' -e "s/yy/$pfx/g" ${file}.tmp > $file + rm ${file}.tmp done |