diff options
-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 7d998e7e8..ffd55271f 100755 --- a/toolbin/localcluster/clusterpush.pl +++ b/toolbin/localcluster/clusterpush.pl @@ -249,6 +249,7 @@ $cmd .= " --max-size=30000000". " --exclude debug --exclude release --exclude generated --exclude sanitize". # we cannot just exclude build, since tiff/build/Makefile.in, etc. is needed " --exclude tiff-config". " --exclude 'shared-*'". +" --exclude user.make". # Exclude files generated by scripts/mupdfwrap.py: " --exclude mupdfwrap_ref". |