diff options
Diffstat (limited to 'toolbin')
-rwxr-xr-x | toolbin/localcluster/clusterpush.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toolbin/localcluster/clusterpush.pl b/toolbin/localcluster/clusterpush.pl index c836340c4..2f2515519 100755 --- a/toolbin/localcluster/clusterpush.pl +++ b/toolbin/localcluster/clusterpush.pl @@ -28,6 +28,7 @@ my %products=('abort' =>1, 'runtests'=>1, 'extract'=>1, 'extractmu'=>1, + 'muwasm'=>1, 'extractgs'=>1); my $user; |