changeset 6487:9bf9726dad38

schikkers-list: install updates.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 03 Feb 2011 23:57:59 +0100
parents 7a841bb2369b
children 5241c71e066c
files gub/specs/schikkers-list.py
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/gub/specs/schikkers-list.py	Thu Feb 03 23:57:44 2011 +0100
+++ b/gub/specs/schikkers-list.py	Thu Feb 03 23:57:59 2011 +0100
@@ -43,7 +43,7 @@
                         (' -L [$][(]dirname [$]0[)]', ''),
                         ],
                        '%(install_prefix)s/bin/ikli', must_succeed=True)
-        self.system ('cd %(install_prefix)s/bin && cp -pv ikli schikkers-list')
+        self.system ('cd %(install_prefix)s/bin && rm -f ikli')
 
 class Schikkers_list__mingw (Schikkers_list):
     dependencies = Schikkers_list.dependencies + [
@@ -51,5 +51,5 @@
         ]
     def install (self):
         Schikkers_list.install (self)
-        self.system ('cd %(install_prefix)s/bin && cp -pv ikli run-ikli.scm')
-        self.system ('cd %(install_prefix)s/bin && cp -pv schikkers-list schikkers-list.scm')
+        self.system ('cd %(install_prefix)s/bin && rm -f ikli')
+        self.system ('cd %(install_prefix)s/bin && mv schikkers-list schikkers-list.scm')