From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 11 Jul 2017 18:55:54 +0000 (-0700)
Subject: Remove trailing slashes from directories if specified via command line.
X-Git-Tag: cvc5-1.0.0~5726
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6d34604fa6d4c260edfc10a5b7f543540be75f4;p=cvc5.git

Remove trailing slashes from directories if specified via command line.
---

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 9458bb14d..5f31f48c9 100755
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -117,6 +117,7 @@ print "Updating sources...\n";
 
 while($#searchdirs >= 0) {
   my $dir = shift @searchdirs;
+  $dir =~ s,\/$,,;              # remove trailing slash from directory
   my $mode = (stat($dir))[2] || warn "file or directory \`$dir' does not exist!";
   my $is_directory = S_ISDIR($mode);
   if($is_directory) {