Seldom any need for this chmod, so omit it in favour of manual fixup when required

2021-06-09 15:07:15 +02:00 · 2021-06-09 15:07:15 +02:00 · cce81dc104
parent e8a2e00fa2
commit cce81dc104
1 changed files with 0 additions and 2 deletions
--- a/fixcopyright.rkt
+++ b/fixcopyright.rkt
@ -139,6 +139,4 @@
                "changes were needed"
                "files were updated")))

-(void (system "chmod a+x fixcopyright.rkt"))
-
 (exit (if (positive? total-changed-files) 1 0))