Skip to content

Commit

Permalink
fixup! reftest: init, add erroneous case where invariant got removed …
Browse files Browse the repository at this point in the history
…from install actions
  • Loading branch information
rjbou committed Apr 10, 2024
1 parent 0621128 commit c092048
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tests/reftests/init.test
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ conflict-class: "comp"
default-invariant: ["comp" {>= "3"}]
default-compiler: ["syscomp" "basecomp"]
eval-variables: [ sys-version ["false"] "no system compiler" ]
### opam init --no-setup --bypass-checks default REPO/ --config opamrc
### opam init --no-setup --bypass-checks default REPO/ --config opamrc | grep -v Cygwin
Configuring from ${BASEDIR}/opamrc and then from built-in defaults.

<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
Expand All @@ -99,7 +99,7 @@ Done.
default-invariant: ["comp" {>= "3"}]
default-compiler: ["syscomp" "basecomp"]
eval-variables: [ sys-version ["echo" "2"] "old system compiler" ]
### opam init --no-setup --bypass-checks default REPO/ --config opamrc
### opam init --no-setup --bypass-checks default REPO/ --config opamrc | grep -v Cygwin
Configuring from ${BASEDIR}/opamrc and then from built-in defaults.

<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
Expand Down Expand Up @@ -180,7 +180,7 @@ default-invariant: ["comp" {>= "3"}]
default-compiler: ["syscomp" "basecomp"]
eval-variables: [ sys-version ["echo" "2"] "old system compiler" ]
### # ERROR: syscomp should'nt be installed
### OPAMDEBUGSECTIONS=CUDF OPAMDEBUG=-1 opam init --no-setup --bypass-checks default REPO/ --config opamrc
### OPAMDEBUGSECTIONS=CUDF OPAMDEBUG=-1 opam init --no-setup --bypass-checks default REPO/ --config opamrc | grep -v Cygwin
Configuring from ${BASEDIR}/opamrc and then from built-in defaults.

<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
Expand Down

0 comments on commit c092048

Please sign in to comment.