git checkout in add-package.pl, not git co

diff --git a/Porting/add-package.pl b/Porting/add-package.pl
index 54a4f03..c8fe807 100644 (file)
--- a/Porting/add-package.pl
+++ b/Porting/add-package.pl
@@ -55,7 +55,7 @@ else {
     unless ( $status =~ /nothing to commit/ims ) {
       die "\nWorking directory not clean. Stopping.\n";
     }
-    system( "git co -b $BranchName blead" )
+    system( "git checkout -b $BranchName blead" )
             and die "Could not create branch '$BranchName': $?";
 
     print "done\n" if $Verbose;