Code

Alias0.dir is always in build_dir#746

Code

Merged

rgrinberg merged 5 commits intoocaml:masterocaml/dune:masterfrom rgrinberg:alias0-build-dirrgrinberg/jbuilder:alias0-build-dirCopy head branch name to clipboardMay 9, 2018

+59-15

Commits

Commits on May 9, 2018

• Make sure Alias0.dir is always in the build_dir

  rgrinberg

  committed
  0f648f1

  Copy full SHA for 0f648f1

• Make sure that Alias0.dir always goes through dir check

  Show description for 8483130
  rgrinberg

  committed
  8483130

  Copy full SHA for 8483130

• Add tests for invalid alias paths

  rgrinberg

  committed
  76c1a32

  Copy full SHA for 76c1a32

• Rename Alias.of_path to Alias.of_user_written_path

  Show description for 8eba040
  rgrinberg

  committed
  8eba040

  Copy full SHA for 8eba040

• Move of_user_written_path to Alias0.T

  Show description for 78612e0
  rgrinberg

  committed
  78612e0

  Copy full SHA for 78612e0