Skip to content

Commit

Permalink
Modify reproduction case to use dune subst
Browse files Browse the repository at this point in the history
Signed-off-by: Craig Ferguson <me@craigfe.io>
  • Loading branch information
craigfe committed Apr 1, 2021
1 parent 844fd8f commit cbb74f0
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions test/blackbox-tests/test-cases/github4429.t/run.t
Original file line number Diff line number Diff line change
@@ -1,9 +1,14 @@
$ git init
Initialized empty Git repository in $TESTCASE_ROOT/.git/
$ DUNE_CACHE=enabled dune build
$ dune subst 2>&1 | sed 's/\/tmp\/.*.output/<tmp_file>/g'
git (internal) (exit 128)
/usr/bin/git rev-parse HEAD > /tmp/buildd528b2.dune/dune6c093a.output
/usr/bin/git describe --always --dirty > <tmp_file>
fatal: bad revision 'HEAD'
git (internal) (exit 128)
/usr/bin/git rev-parse HEAD > <tmp_file>
fatal: ambiguous argument 'HEAD': unknown revision or path not in the working tree.
Use '--' to separate paths from revisions, like this:
'git <command> [<revision>...] -- [<file>...]'
[1]
git (internal) (exit 128)
/usr/bin/git ls-tree -r --name-only HEAD > <tmp_file>
fatal: Not a valid object name HEAD

0 comments on commit cbb74f0

Please sign in to comment.