proper return code (true) if file is absent;
authorwenzelm
Sat Jul 28 21:21:26 2018 +0200 (11 months ago)
changeset 6870471aa5a9128c2
parent 68703 2e31887d9664
child 68705 5cbd9cda7626
proper return code (true) if file is absent;
src/Pure/Thy/present.scala
     1.1 --- a/src/Pure/Thy/present.scala	Sat Jul 28 19:55:14 2018 +0200
     1.2 +++ b/src/Pure/Thy/present.scala	Sat Jul 28 21:21:26 2018 +0200
     1.3 @@ -277,8 +277,8 @@
     1.4          "Failed to build document in " + File.path(dir.absolute_file))
     1.5      }
     1.6  
     1.7 -    bash("[ -f " + root_bash(document_format) + " ] && cp -f " +
     1.8 -      root_bash(document_format) + " " + File.bash_path(document_target)).check
     1.9 +    bash("if [ -f " + root_bash(document_format) + " ]; then cp -f " +
    1.10 +      root_bash(document_format) + " " + File.bash_path(document_target) + "; fi").check
    1.11    }
    1.12  
    1.13