diff options
Diffstat (limited to 'src/util/git-push-everything.pl')
| -rwxr-xr-x | src/util/git-push-everything.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/git-push-everything.pl b/src/util/git-push-everything.pl index ee39ab4..8f5f111 100755 --- a/src/util/git-push-everything.pl +++ b/src/util/git-push-everything.pl @@ -15,7 +15,7 @@ my ($git_cmd, $git_repo, $git_master_repo) = @ARGV; my $git_central_repo = $ENV{'CACTUS_CENTRAL_GIT_REPO'}; # Path where the git-*.pl commands are installed -my $bindir = $ENV{'SCRATCH_BUILD'} . '/formaline-bin'; +my $bindir = $ENV{'SCRATCH_BUILD'} . '/Formaline/bin'; my $silent = $ENV{'SILENT'}; $silent = 'yes' if ! defined $silent; |