This commit is contained in:
Dima 2021-05-27 12:45:15 +03:00 committed by GitHub
parent bf160af23a
commit 33a7cde082
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 3 deletions

View File

@ -50,7 +50,7 @@ jobs:
- name: Integration test
run: |
git clone https://github.com/fluencelabs/aqua-playground.git
sbt "cli/run -i aqua-playground/aqua -o aqua-playground/src/compiled"
sbt "cli/run -i aqua-playground/aqua/examples -o aqua-playground/src/compiled/examples"
cd aqua-playground
npm i
npm run exec
npm run examples

View File

@ -71,7 +71,13 @@ object AquaCli extends IOApp with LogSupport {
None
)(
main[IO],
args
// Weird ugly hack: in case version flag or help flag is present, ignore other options,
// be it correct or not
args match {
case _ if args.contains("-v") || args.contains("--version") => "-v" :: Nil
case _ if args.contains("-h") || args.contains("--help") => "-h" :: Nil
case _ => args
}
)
}
}