src/Pure/Tools/build.scala
changeset 69671 2486792eaf61
parent 69540 a1e8bcda8cec
child 69744 bb0a354f6b46
     1.1 --- a/src/Pure/Tools/build.scala	Wed Jan 16 17:12:48 2019 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Wed Jan 16 17:55:26 2019 +0100
     1.3 @@ -335,9 +335,10 @@
     1.4        Isabelle_System.rm_tree(export_tmp_dir)
     1.5  
     1.6        if (result1.ok) {
     1.7 -        for ((dir, pats) <- info.export_files) {
     1.8 +        for ((dir, prune, pats) <- info.export_files) {
     1.9            Export.export_files(store, name, info.dir + dir,
    1.10              progress = if (verbose) progress else No_Progress,
    1.11 +            export_prune = prune,
    1.12              export_patterns = pats,
    1.13              export_prefix = name + ": ")
    1.14          }